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