A Natural Proof System Based on rewriting Techniques.

Deepak Kapur, Balakrishnan Krishnamurthy

Browse the full CADE paper archive.