RPO constraint solving is in NP (0)

by P Narendran, M Rusinowitch, R Verma
Venue:Computer Science Logic, 12th International Workshop, CSL'98