Ordered rewriting and con (1990)

by U Martin, T Nipkow
Venue:In Proceedings of the 10th International Conference on Automated Deduction, LNCS 449