@Article{BL+86,
    Author       = "Boyer, R. and Lusk E.L. and McCune, W.W. and Overbeek, R.  and Stickel, M.E. 
                    and Wos, L.",
    Year         = "1986",
    Title        = "{Set Theory in First-Order Logic: Clauses for Godel's Axioms}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "2",
    Number       = "3",
    Pages        = "287-327",
    Comment      = "TPTPRef"
}