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