@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} }