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.
No references recorded for this publication.
No citations of this publication recorded.