Semantic Paramodulation for Horn Sets.

William McCune, Lawrence J. Henschen

Browse the full IJCAI paper archive.