TY  - RPRT
TI  - Deciding Termination for Ancestor Match- Bounded String Rewriting Systems
AU  - Geser, Alfons
AU  - Hofbauer, Dieter
AU  - Waldmann, Johannes
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060009311
ID  - 20060009311
ER  -