%0 Conference Paper %1 conf/jelia/JanotaGM10 %A Janota, Mikolás %A Grigore, Radu %A Marques-Silva, João %B JELIA %D 2010 %E Janhunen, Tomi %E Niemelä, Ilkka %I Springer %K dblp %P 195-207 %T Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#JanotaGM10 %V 6341 %@ 978-3-642-15674-8

@inproceedings{conf/jelia/JanotaGM10, added-at = {2020-02-24T00:00:00.000+0100}, author = {Janota, Mikolás and Grigore, Radu and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/2d62fcb20b0b255f372340a1c7d6f3205/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2010}, editor = {Janhunen, Tomi and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-642-15675-5_18}, interhash = {d1f2ac194ad525c7b2c85ff98b23a59a}, intrahash = {d62fcb20b0b255f372340a1c7d6f3205}, isbn = {978-3-642-15674-8}, keywords = {dblp}, pages = {195-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:25:46.000+0100}, title = {Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#JanotaGM10}, volume = 6341, year = 2010 }