Jürgen Avenhaus, Benjamin Benninghofen, Rüdiger Göbel, Klaus Madlener
TRSPEC: A Term Rewriting Based System for Algebraic Specifications
CADE, 1986.
@inproceedings{CADE-1986-AvenhausBGM, author = "Jürgen Avenhaus and Benjamin Benninghofen and Rüdiger Göbel and Klaus Madlener", booktitle = "{Proceedings of the Eighth International Conference on Automated Deduction}", doi = "10.1007/3-540-16780-3_129", isbn = "3-540-16780-3", pages = "665--667", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{TRSPEC: A Term Rewriting Based System for Algebraic Specifications}", volume = 230, year = 1986, }