Decidable Horn Systems with Difference Constraints Arithmetic

Radu Iosif

This paper tackles the problem of the existence of solutions for recursive systems of Horn clauses with second-order variables interpreted as integer relations, and harnessed by qu…