Carlos P. D. Pereira, Luiz, E Massi, Cosme. " Normalização para a lógica clássica" O que nos faz pensar [Online], Volume 2 Número 02 (1 January 1990)