ORME is both a rewrite rule laboratory and a toolbox for building theorem provers and software related to equational theories.
Citation:
@INPROCEEDINGS{LescanneALP90, AUTHOR = {Lescanne, P.}, TITLE = {Implementation of Completion by Transition Rules + Control: {{\sc ORME}}}, BOOKTITLE = alp2, YEAR = 1990, EDITOR = {Kirchner, H{\'e}l{\`e}ne and Wechler, W.}, VOLUME = 463, PAGES = {262-269}, PUBLISHER = sv, SERIES = lncs } @INPROCEEDINGS{lescanneORME, AUTHOR = {Lescanne, P.}, TITLE = {ORME, an Implementation of Completion Procedures as Sets of Transitions Rules}, BOOKTITLE = cade10, YEAR = {1990}, EDITOR = {Stickel, M.}, PAGES = {661-662}, PUBLISHER = sv }