@INPROCEEDINGS{MG-RTA05,
AUTHOR = {Wojciech Moczyd{\l}owski and Alfons Geser},
TITLE  = {Termination of Single-Threaded One-rule {Semi-Thue} Systems},
EDITOR = {J{\"u}rgen Giesl},
BOOKTITLE = {Rewriting Techniques and Applications (RTA)},
PUBLISHER = {Springer},
VOLUME = {LNCS 3467},
YEAR = 2005,
NOTE = {338-352}},