David Canfield Smith Horace Enea Backtracking in MLISP2: an efficient backtracking method for LISP. 677-685 1973 IJCAI db/conf/ijcai/ijcai73.html#SmithE73