Automated theorem proving: mapping logic into AI.

Donald W. Loveland

Browse the full ISMIS paper archive.