Davis and Putnam were Already Checking Forward.

Richard Gnisson, Philippe Jgou

Browse the full ECAI paper archive.