TPTP Reference: BL+86


@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"
}