@misc{indiciaedab7a8a98559,
  title = {Multi-shot ASP solving with clingo},
  author = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
  year = {2018},
  url = {https://arxiv.org/abs/1705.09811},
  note = {Source identifier: 1705.09811}
}