Knowledge Processing and Information Systems Multi-shot ASP solving with clingo
@article{DBLP:journals/corr/GebserKKS17,
title = {Multi-shot {ASP} solving with clingo},
author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
journal = {CoRR},
volume = {abs/1705.09811},
year = {2017}
}