Set theory in first-order logic: Clauses for Gödel’s axioms (1986)

by R Boyer, E Lusk, W McCune, R Overbeek, M Stickel, L Wos
Venue:Journal of Automated Reasoning