Esteva, F., 		Orellano, A., 		Flaminio, T., & 		Godo, L.
2020 ago 26.  Degree-preserving companion of Nelson logic expanded with a consistency operator. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :