Toby Cathcart Burn

Latest

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