%0 Journal Article %1 journals/aicom/GebserSS11 %A Gebser, Martin %A Sabuncu, Orkunt %A Schaub, Torsten %D 2011 %J AI Commun. %K dblp %N 2 %P 195-212 %T An incremental answer set programming based system for finite model computation. %U http://dblp.uni-trier.de/db/journals/aicom/aicom24.html#GebserSS11 %V 24

@article{journals/aicom/GebserSS11, added-at = {2021-04-09T00:00:00.000+0200}, author = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/281d8b8697ecc9a7963c8af5b87c023a8/dblp}, ee = {https://doi.org/10.3233/AIC-2011-0496}, interhash = {ffe6ffa1b66c7bd8b97550129b788977}, intrahash = {81d8b8697ecc9a7963c8af5b87c023a8}, journal = {AI Commun.}, keywords = {dblp}, number = 2, pages = {195-212}, timestamp = {2024-04-08T13:15:31.000+0200}, title = {An incremental answer set programming based system for finite model computation.}, url = {http://dblp.uni-trier.de/db/journals/aicom/aicom24.html#GebserSS11}, volume = 24, year = 2011 }