Add a reference to the applications of anti-unification, take 2.