TPTP Reference: Qua92
@Article{Qua92-JAR,
Author = "Quaife, A.",
Year = "1992",
Title = "{Automated Deduction in von Neumann-Bernays-Godel Set
Theory}",
Journal = "Journal of Automated Reasoning",
Volume = "8",
Number = "1",
Pages = "91-147",
Comment = "TPTPRef"
}
@Book{Qua92-Book,
Author = "Quaife, A.",
Year = "1992",
Title = "{Automated Development of Fundamental Mathematical
Theories}",
Publisher = "Kluwer Academic Publishers",
Comment = "TPTPRef"
}
@Unpublished{Qua92-Problems,
Author = "Quaife, A.",
Year = "1992",
Title = "{Problems based on NBG Set Theory}",
Comment = "TPTPRef, Emailed to G. Sutcliffe"
}