Library Nijn.TerminationTechniques.NoRules
Require
Export
Nijn.TerminationTechniques.NoRules.NoRulesSN
.