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

Kaustuv Chaudhuri Frank Pfenning Greg Price A Logical Characterization of Forward and Backward Chaining in the Inverse Method. 97-111 2006 conf/cade/2006 IJCAR http://dx.doi.org/10.1007/11814771_9 db/conf/cade/ijcar2006.html#ChaudhuriPP06