Correcting a widespread error in unification algorithms (1991) [pdf] norvig.com 67 points by Tomte 2 years ago