A Semantically Guided Deductive System for Automatic Theorem-Proving.

Raymond Reiter

Browse the full IJCAI paper archive.