http://maude.csl.sri.com/manual/ http://www.ai.sri.com/snark/tutorial.html