Constrained Equational Reasoning.

Claude Kirchner, Hlne Kirchner

Browse the full ISSAC paper archive.