Set Theory in First-Order Logic: Clauses for Gödel's Axioms.

Robert S. Boyer Ewing L. Lusk William McCune Ross A. Overbeek Mark E. Stickel Larry Wos Set Theory in First-Order Logic: Clauses for Gödel's Axioms. 287-327 1986 2 J. Autom. Reasoning 3 db/journals/jar/jar2.html#BoyerLMOSW86 http://dx.doi.org/10.1007/BF02328452