Stan Matwin, Tomasz Pietrzykowski: Exponential Improvement of Efficient Backtracking: data Structure and Implementation. CADE 1982: 240-259