TY  - RPRT
TI  - Regular Substitution Sets: A Means of Controlling E-Unification
AU  - Jochen Burghardt
PY  - 2019
UR  - https://arxiv.org/abs/1404.1201
ID  - 1404.1201
ER  -