A Many-Sorted Resolution Based on an Extension of a First-Order Language.

Keki B. Irani, D. G. Shin

Browse the full IJCAI paper archive.