1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…