%0 Conference Paper %1 conf/jelia/GebserSS10 %A Gebser, Martin %A Sabuncu, Orkunt %A Schaub, Torsten %B JELIA %D 2010 %E Janhunen, Tomi %E Niemelä, Ilkka %I Springer %K %P 169-181 %T An Incremental Answer Set Programming Based System for Finite ModelComputation. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#GebserSS10 %V 6341 %@ 978-3-642-15674-8

@inproceedings{conf/jelia/GebserSS10, added-at = {2023-12-13T10:07:18.000+0100}, author = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2f89fc068690817ed36fd331cbb914971/admin}, booktitle = {JELIA}, crossref = {conf/jelia/2010}, editor = {Janhunen, Tomi and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-642-15675-5_16}, interhash = {d50aed1705ce881e76167d12523fd417}, intrahash = {f89fc068690817ed36fd331cbb914971}, isbn = {978-3-642-15674-8}, keywords = {}, pages = {169-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:07:18.000+0100}, title = {An Incremental Answer Set Programming Based System for Finite ModelComputation.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#GebserSS10}, volume = 6341, year = 2010 }