@misc{indiciae3e6ca38149eb,
  title = {Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses},
  author = {Toby Cathcart Burn and Luke Ong and Steven Ramsay and Dominik Wagner},
  year = {2021},
  url = {https://arxiv.org/abs/2104.14175},
  note = {Source identifier: 2104.14175}
}