## Stem rpo$ (all stems)

### 4 papers:

- FoSSaCS-2008-GianantonioHL #higher-order #λ-calculus
- RPO, Second-Order Contexts, and λ-Calculus (PDG, FH, ML), pp. 334–349.
- CL-2000-NarendranR #decidability #formal method
- The Theory of Total Unary RPO Is Decidable (PN, MR), pp. 660–672.
- RTA-1999-Rubio
- A Fully Syntactic AC-RPO (AR), pp. 133–147.
- CSL-1998-NarendranRV #constraints #theorem proving
- RPO Constraint Solving Is in NP (PN, MR, RMV), pp. 385–398.