Termination of Term Graph Rewriting

Reference

Hans Zantema, Dennis Nolte, and Barbara König. Termination of term graph rewriting. In Proc. of WST '16 (Workshop on Termination), 2016.

Suggested BibTeX entry:

@inproceedings{ZNK16,
    author = {Hans Zantema and Dennis Nolte and Barbara K{\"o}nig},
    booktitle = {Proc. of WST '16 (Workshop on Termination)},
    title = {Termination of Term Graph Rewriting},
    year = {2016}
}

This work is not available online here.