Lopez-Escobar, E. .; Miraglia, F. Intuitinistic Equivalence. Manuscrito - Rev. Int. Fil. 1999, 22, 205-266.