Hristakiev, I.; Plump, D. A Unification Algorithm for GP 2. eceasst 2015, 71.