@InProceedings{Wei93, Author = "Weidenbach, C.", Year = "1993", Title = "{Extending the Resolution Method with Sorts}", Editor = "Bajcsy, R.", BookTitle = "{Proceedings of the 13th International Joint Conference on Artificial Intelligence}", Place = "Chambery, France", Pages = "60-65", Publisher = "Morgan Kaufmann", Comment = "TPTPRef" }