@InProceedings{BCP94, Author = "Bourely, C. and Caferra, R. and Peltier, N.", Year = "1994", Title = "{A Method for Building Models Automatically. Experiments with an Extension of Otter}", Editor = "Bundy, A.", BookTitle = "{Proceedings of the 12th International Conference on Automated Deduction}", Place = "Nancy, France", Series = "Lecture Notes in Artificial Intelligence", Number = "814", Pages = "72-86", Publisher = "Springer-Verlag", Comment = "TPTPRef" }