@article{DBLP:journals/tplp/GebserKKS19,
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
  title = {Multi-shot {ASP} solving with clingo},
  journal = {{TPLP}},
  volume = {19},
  number = {1},
  pages = {27--82},
  year = {2019}
}