%0 Journal Article %1 journals/tplp/CalimeriIPPZ19 %A Calimeri, Francesco %A Ianni, Giovambattista %A Pacenza, Francesco %A Perri, Simona %A Zangari, Jessica %D 2019 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 957-973 %T Incremental Answer Set Programming with Overgrounding. %U http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#CalimeriIPPZ19 %V 19

@article{journals/tplp/CalimeriIPPZ19, added-at = {2020-02-13T00:00:00.000+0100}, author = {Calimeri, Francesco and Ianni, Giovambattista and Pacenza, Francesco and Perri, Simona and Zangari, Jessica}, biburl = {https://www.bibsonomy.org/bibtex/202845f45d4d9c8a9d0bf116d529ee946/dblp}, ee = {https://doi.org/10.1017/S1471068419000292}, interhash = {90d36cc0c1e63b7c76bb538d50b6171a}, intrahash = {02845f45d4d9c8a9d0bf116d529ee946}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {957-973}, timestamp = {2020-02-14T11:43:39.000+0100}, title = {Incremental Answer Set Programming with Overgrounding.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#CalimeriIPPZ19}, volume = 19, year = 2019 }