Proving and rewriting (1990)

by Joseph Goguen
Venue:Proceedings, Second International Conference on Algebraic and Logic Programming