TY  - RPRT
TI  - Termination Proofs for String Rewriting Systems via Inverse Match-Bounds
AU  - Butler, Ricky
AU  - Geser, Alfons
AU  - Hofbauer, Dieter
AU  - Waldmann, Johannes
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040086792
ID  - 20040086792
ER  -