Correcting A Widespread Error in Unification Algorithms [pdf]http://norvig.com/unify-bug.pdf by papaf • 13 years ago 2 0 13 years agoNOnorvig.com