Termination of Cycle Rewriting
Reference
Hans Zantema, H.J. Sander Bruggink, and Barbara König. Termination of cycle rewriting. In Proc. of RTA-TLCA '14, pages 476–490. Springer, 2014. LNCS 8560.
Suggested BibTeX entry:
@inproceedings{ZBK14,
author = {Hans Zantema and H.J. Sander Bruggink and Barbara K{\"o}nig},
booktitle = {Proc. of RTA-TLCA '14},
note = {{LNCS} 8560},
pages = {476--490},
publisher = {Springer},
title = {Termination of Cycle Rewriting},
year = {2014}
}
This work is not available online here.