TY  - RPRT
TI  - Implementing Anti-Unification Modulo Equational Theory
AU  - Jochen Burghardt
AU  - Birgit Heinz
PY  - 2014
UR  - https://arxiv.org/abs/1404.0953
ID  - 1404.0953
ER  -