%0 Conference Paper %1 conf/lpnmr/AndresGSHRG13 %A Andres, Benjamin %A Gebser, Martin %A Schaub, Torsten %A Haubelt, Christian %A Reimann, Felix %A Glaß, Michael %B LPNMR %D 2013 %E Cabalar, Pedro %E Son, Tran Cao %I Springer %K %P 79-91 %T Symbolic System Synthesis Using Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2013.html#AndresGSHRG13 %V 8148 %@ 978-3-642-40564-8

@inproceedings{conf/lpnmr/AndresGSHRG13, added-at = {2023-12-14T15:12:37.000+0100}, author = {Andres, Benjamin and Gebser, Martin and Schaub, Torsten and Haubelt, Christian and Reimann, Felix and Glaß, Michael}, biburl = {https://www.bibsonomy.org/bibtex/29ea072fe68a90c63e64b3780e66e47e6/admin}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2013}, editor = {Cabalar, Pedro and Son, Tran Cao}, ee = {https://doi.org/10.1007/978-3-642-40564-8_9}, interhash = {e862af49ceabcecbf697b4c9b1ad15b5}, intrahash = {9ea072fe68a90c63e64b3780e66e47e6}, isbn = {978-3-642-40564-8}, keywords = {}, pages = {79-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:12:37.000+0100}, title = {Symbolic System Synthesis Using Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2013.html#AndresGSHRG13}, volume = 8148, year = 2013 }