E. . Lopez-Escobar e F. Miraglia, “Intuitinistic equivalence”, Manuscrito - Rev. Int. Fil., vol. 22, nº 2, p. 205–266, out. 1999.