Ordered rewriting and confluence
Ursula Martin and Tobias Nipkow
Book Title
10th International Conference on Automated Deduction
Organisation
Springer Berlin/Heidelberg
Pages
366–380
Year
1990
Ursula Martin and Tobias Nipkow