Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses | IEEE Conference Publication | IEEE Xplore