Decision problems in ordered rewriting (1998)

by H Comon, P Narendran, R Nieuwenhuis, M Rusinowitch
Venue:Proc. 13th IEEE Conference on Logic in Computer Science. Toappear