TRSPEC: A Term Rewriting Based System for Algebraic Specifications.

Jrgen Avenhaus, Benjamin Benninghofen, Rdiger Gbel, Klaus Madlener

Browse the full CADE paper archive.