@misc{indiciae069cca494831,
  title = {Generative Datalog with Stable Negation},
  author = {Mario Alviano and Matthias Lanzinger and Michael Morak and Andreas Pieris},
  year = {2022},
  url = {https://arxiv.org/abs/2206.12247},
  note = {Source identifier: 2206.12247}
}