Existence, Uniqueness, and Construction of Rewrite Systems (1988)

by N Dershowitz, L Marcus, A Tarlecki
Venue:SIAM Journal of Computing