@InProceedings{MB88, Author = "Manthey, R. and Bry, F.", Year = "1988", Title = "{SATCHMO: A Theorem Prover Implemented in Prolog}", Editor = "Lusk, E. and Overbeek, R.", BookTitle = "{Proceedings of the 9th International Conference on Automated Deduction}", Place = "Argonne, USA", Series = "Lecture Notes in Computer Science", Number = "310", Pages = "415-434", Publisher = "Springer-Verlag", Comment = "TPTPRef" }