VASCONCELOS, Davi Romero de; 						PAULA, Robson Teixeira; 						MENEZES, Maria Viviane.
 NADIA - Natural DeductIon proof Assistant. <em>In</em>: WORKSHOP SOBRE EDUCAÇÃO EM COMPUTAÇÃO (WEI), 30.	, 2022, Niterói.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2022
.
 p. 427-438. 
			ISSN 2595-6175. 
		DOI: <a href="https://doi.org/10.5753/wei.2022.222875">https://doi.org/10.5753/wei.2022.222875</a>.