Karl-Heinz Buth. Using SOS Definitions in Term Rewriting Proofs. In Ursula Martin, Jeannette M. Wing, editors, First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing, pages 36-54, Springer, 1992.
@inproceedings{Buth92,
title = {Using SOS Definitions in Term Rewriting Proofs},
author = {Karl-Heinz Buth},
year = {1992},
tags = {term rewriting, SOS, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Buth92},
cites = {0},
citedby = {0},
pages = {36-54},
booktitle = {First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992},
editor = {Ursula Martin and Jeannette M. Wing},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19804-0},
}