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

by A Quaife
Venue:Journal of Automated Reasoning