%0 Journal Article %1 journals/tplp/GebserKKS19 %A Gebser, Martin %A Kaminski, Roland %A Kaufmann, Benjamin %A Schaub, Torsten %D 2019 %J Theory Pract. Log. Program. %K dblp %N 1 %P 27-82 %T Multi-shot ASP solving with clingo. %U http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#GebserKKS19 %V 19

@article{journals/tplp/GebserKKS19, added-at = {2020-02-13T00:00:00.000+0100}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2d9994bbefe051f1f618c0c5dc9345b04/dblp}, ee = {https://doi.org/10.1017/S1471068418000054}, interhash = {8f34be1ef571c05ac2208044be88a65c}, intrahash = {d9994bbefe051f1f618c0c5dc9345b04}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 1, pages = {27-82}, timestamp = {2020-02-14T11:43:18.000+0100}, title = {Multi-shot ASP solving with clingo.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#GebserKKS19}, volume = 19, year = 2019 }