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