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