Peter Norvig Correcting a Widespread Error in Unification Algorithms. 231-233 1991 21 Softw., Pract. Exper. 2 db/journals/spe/spe21.html#Norvig91