Stem subterm$ (all stems)

3 papers:

RTA-2010-SternagelT

Certified Subterm Criterion and Certified Usable Rules (CS, RT), pp. 325–340.

ICALP-1991-JouannaudO #decidability #satisfiability

Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable (JPJ, MO), pp. 455–468.

RTA-1985-Rusinowitch #composition #recursion #revisited

Path of Subterms Ordering and Recursive Decomposition Ordering Revisited (MR), pp. 225–240.