TY  - RPRT
TI  - Sparse Tiling through Overlap Closures for Termination of String Rewriting
AU  - Alfons Geser
AU  - Dieter Hofbauer
AU  - Johannes Waldmann
PY  - 2020
UR  - https://arxiv.org/abs/2003.01696
ID  - 2003.01696
ER  -