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

by A Quaife
Venue:Journal of Automated Reasoning, Volume 8, Issue