Decision problems in ordered rewriting (0)

by H Comon, P Narendran, R Nieuwenhuis, M Rusinowitch
Venue:In Proc. LICS ’98