Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki. TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 571-574, Springer, 1996.
Abstract is missing.