@inproceedings{DBLP:conf/amast/KawaguchiSI96,
author = {Nobuo Kawaguchi and
Toshiki Sakabe and
Yasuyoshi Inagaki},
editor = {Martin Wirsing and
Maurice Nivat},
title = {{TERSE:} {A} Visual Environment for Supporting Analysis, Verification
and Transformation of Term Rewriting Systems},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {571--574},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014344},
doi = {10.1007/BFB0014344},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/KawaguchiSI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
