A Resolution Calculus with Dynamic Sort Structures and Partial Functions.

Christoph Weidenbach, Hans Jrgen Ohlbach

Browse the full ECAI paper archive.