Automated Deduction by Theory Resolution.

Mark E. Stickel

Browse the full IJCAI paper archive.