%0 Conference Paper %1 conf/lpnmr/LiuGJNY11 %A Liu, Guohua %A Goebel, Randy %A Janhunen, Tomi %A Niemelä, Ilkka %A You, Jia-Huai %B LPNMR %D 2011 %E Delgrande, James P. %E Faber, Wolfgang %I Springer %K dblp %P 161-173 %T Strong Equivalence of Logic Programs with Abstract Constraint Atoms. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#LiuGJNY11 %V 6645 %@ 978-3-642-20894-2

@inproceedings{conf/lpnmr/LiuGJNY11, added-at = {2017-05-23T00:00:00.000+0200}, author = {Liu, Guohua and Goebel, Randy and Janhunen, Tomi and Niemelä, Ilkka and You, Jia-Huai}, biburl = {https://www.bibsonomy.org/bibtex/2c41c6ae5880640d9f2b6f9204da125bb/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2011}, editor = {Delgrande, James P. and Faber, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-20895-9_15}, interhash = {6e86bbfaa0b87577bece4ac6124614a7}, intrahash = {c41c6ae5880640d9f2b6f9204da125bb}, isbn = {978-3-642-20894-2}, keywords = {dblp}, pages = {161-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:07.000+0200}, title = {Strong Equivalence of Logic Programs with Abstract Constraint Atoms.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#LiuGJNY11}, volume = 6645, year = 2011 }