RPO Constraint Solving Is in NP.

Paliath Narendran, Michal Rusinowitch, Rakesh M. Verma

Browse the full CSL paper archive.