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