@misc{indiciaedb219ee24f87,
  title = {A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic},
  author = {Martin Bromberger and Irina Dragoste and Rasha Faqeh and Christof Fetzer and Markus Krötzsch and Christoph Weidenbach},
  year = {2021},
  url = {https://arxiv.org/abs/2107.03189},
  note = {Source identifier: 2107.03189}
}