Proof Transformation for Non-Compatible Rewriting.

Reinhard Bndgen

Browse the full AISC paper archive.