Automated deduction in von Neumann-Bernays-Gödel set theory (1992)

by A Quaife
Venue:J. of Automated Reasoning