Hristakiev, I., & Plump, D. (2015). A Unification Algorithm for GP 2. Electronic Communications of the EASST, 71. https://doi.org/10.14279/tuj.eceasst.71.1002