Lopez-Escobar, E. e Miraglia, F. 1999. Intuitinistic equivalence. Manuscrito: Revista Internacional de Filosofia. 22, 2 (out. 1999), 205–266.