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