Correcting a widespread error in unification algorithms (1991) [pdf]norvig.com67 pointsTomte4 years ago