Add a reference to the applications of anti-unification.