Esteva, F., 		Orellano, A., 		Flaminio, T., & 		Godo, L.
2020 Aug 26.  Degree-preserving companion of Nelson logic expanded with a consistency operator. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :