Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.

Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner

Browse the full LICS paper archive.