@Book{Qua92-Book, Author = "Quaife, A.", Year = "1992", Title = "{Automated Development of Fundamental Mathematical Theories}", Publisher = "Kluwer Academic Publishers", Comment = "TPTPRef" }