An equational re-engineering of set theories (2000)

by A Formisano, E G Omodeo
Venue:Automated Deduction in Classical and Non-Classical Logics, LNCS 1761 (LNAI