Calvèsand Fernández. Implementing Nominal Unification. Elsevier BV, 2007, doi:10.1016/j.entcs.2006.09.027.