Bertei, Alex, Reiser, Renata, E Foss, Luciana. " An Application for Medical Diagnosis Using Correlation Coefficient With Modal Operators and Operator Identifying and Unary" Anais do Workshop-Escola de Informática Teórica (WEIT) [Online], (17 novembro 2021)