Set Theory in First-Order Logic: Clauses for Go"del's Axioms (1986)

by Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos
Venue:Journal of Automated Reasoning