ORME

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
}