Decision Problems in Ordered Rewriting.

Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michal Rusinowitch

Browse the full LICS paper archive.