A Logical Characterization of Forward and Backward Chaining in the Inverse Method.

Kaustuv Chaudhuri, Frank Pfenning, Greg Price

Browse the full CADE paper archive.