TY  - RPRT
TI  - Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
AU  - Bertram Felgenhauer
PY  - 2018
DO  - 10.23638/lmcs-14(4:7)2018
UR  - https://arxiv.org/abs/1710.10991
ID  - 1710.10991
ER  -