Galli, A. and
Sagastume, M. 1999.
“Symmetric-Intuitionistic Connectives.” in
Models, Algebras, and Proofs. Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá, edited by Xavier
Caicedo and Carlos H.
Montenegro, pp. 267–278. New York: Marcel Dekker.