Christopher A. Welty Backtracking: the demise of “!”. 56 2001 12 Intelligence 3 http://doi.acm.org/10.1145/383824.383834 db/journals/sigart/sigart12.html#Welty01a