Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable.

Jean-Pierre Jouannaud, Mitsuhiro Okada

Browse the full ICALP paper archive.