TY  - RPRT
TI  - Unification and Matching on Compressed Terms
AU  - Adrià Gascón
AU  - Guillem Godoy
AU  - Manfred Schmidt-Schauß
PY  - 2010
UR  - https://arxiv.org/abs/1003.1632
ID  - 1003.1632
ER  -