TY  - RPRT
TI  - A Unification Algorithm for GP 2 (Long Version)
AU  - Ivaylo Hristakiev
AU  - Detlef Plump
PY  - 2017
UR  - https://arxiv.org/abs/1705.02171
ID  - 1705.02171
ER  -