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. 133-177 2008 40 J. Autom. Reasoning 2-3 http://dx.doi.org/10.1007/s10817-007-9091-0 db/journals/jar/jar40.html#ChaudhuriPP08