## Christoph Lüth

*Compositional Term Rewriting: An Algebraic Proof of Toyama’s Theorem*

RTA, 1996.

@inproceedings{RTA-1996-Luth, author = "Christoph Lüth", booktitle = "{Proceedings of the Seventh International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-61464-8_58", editor = "Harald Ganzinger", isbn = "3-540-61464-8", pages = "261--275", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Compositional Term Rewriting: An Algebraic Proof of Toyama’s Theorem}", volume = 1103, year = 1996, }