Deletion-Directed Search in Resolution-Based Proof Procedures.

David Gelperin

Browse the full IJCAI paper archive.