A Natural Proof System Based on rewriting Techniques

@inproceedings{Kapur1984ANP,
  title={A Natural Proof System Based on rewriting Techniques},
  author={Deepak Kapur and Balakrishnan Krishnamurthy},
  booktitle={CADE},
  year={1984}
}