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