Correcting A Widespread Error in Unification Algorithms [pdf]norvig.com2 points·papaf··0 commentsOpen articleSaveView on HN