A Many-Sorted Calculus Based on Resolution and Paramodulation.

Christoph Walther

Browse the full IJCAI paper archive.