I. Hristakiev and D. Plump, “A Unification Algorithm for GP 2”, ECEASST, vol. 71, Sep. 2015.