TY  - RPRT
TI  - Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
AU  - Bernhard Gramlich
AU  - Felix Schernhammer
PY  - 2010
DO  - 10.4204/eptcs.44.3
UR  - https://arxiv.org/abs/1012.5562
ID  - 1012.5562
ER  -