Cerioli, M., 		Freitas, R., & 		Viana, P.
2022 jul 31.  Another Calculational Proof of Cantor’s Theorem. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :