CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
A. Formisano and E. G. Omodeo. An equational re-engineering of set theories. In R. Caferra and G. Salzer, eds., Proc. of the FTP98 Int. workshop on rst-order theorem proving, Technische Universitat Wien. Technical Report E1852-GS-981:142-151, 1998. (To appear in a volume of the LNCS series of Springer-Verlag.)
A. Formisano and E. G. Omodeo. An equational re-engineering of set theories. In R. Caferra and G. Salzer, eds., Automated Deduction in Classical and NonClassical Logics, LNCS 1761 (LNAI), pages 176-191. Springer-Verlag. January 2000.
Formisano, A. and Omodeo, E. G. (2000). An equational re-engineering of set theories. In Caferra, R. and Salzer, G., editors, Automated Deduction in Classical and Non-Classical Logics, LNCS 1761 (LNAI), pages 175-190. Springer.