TPTP Reference: MW92
@InProceedings{MW92-CADE-11,
Author = "McCune, W.W. and Wos, L.",
Year = "1992",
Title = "{Experiments in Automated Deduction with Condensed
Detachment}",
Editor = "Kapur D.",
BookTitle = "{Proceedings of the 11th International Conference on
Automated Deduction}",
Place = "Saratoga Springs, USA",
Series = "Lecture Notes in Artificial Intelligence",
Number = "607",
Pages = "209-223",
Publisher = "Springer-Verlag",
Comment = "TPTPRef"
}
@TechReport{MW92-TR,
Author = "McCune, W.W. and Wos, L.",
Year = "1992",
Title = "{Application of Automated Deduction to the Search for
Single Axioms for Exponent Groups}",
Number = "MCS-P291-0292",
Institution = "Mathematics and Computer Science Division, Argonne
National Laboratory",
Address = "Argonne, USA",
Comment = "sample problems"
}