Directional resolution: The davis-putnam procedure, revisited (1994)

by R Dechter, I Rish
Venue:In Principles of Knowledge Representation and Reasoning (KR-94