@article{GebserKaminskiKaufmannetal.2018,
  author    = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten H. Schaub},
  title     = {Multi-shot ASP solving with clingo},
  journal   = {Theory and practice of logic programming},
  volume    = {19},
  number    = {1},
  pages     = {27 -- 82},
  doi       = {10.1017/S1471068418000054},
  year      = {2018},
}