Higher-Order MSL Horn Constraints

Jerome Jochems, Eddie Jones, Steven Ramsay

The monadic shallow linear (MSL) class is a decidable fragment of first-order Horn clauses that was discovered and rediscovered around the turn of the century, with applications in…