Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction.

Tomasz Pietrzykowski, Stan Matwin

Browse the full CADE paper archive.