%0 Conference Paper %1 conf/lpnmr/EiterLS97 %A Eiter, Thomas %A Lu, James J. %A Subrahmanian, V. S. %B LPNMR %D 1997 %E Dix, Jürgen %E Furbach, Ulrich %E Nerode, Anil %I Springer %K dblp %P 198-217 %T Computing Non-Ground Representations of Stable Models. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr97.html#EiterLS97 %V 1265 %@ 3-540-63255-7

@inproceedings{conf/lpnmr/EiterLS97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Eiter, Thomas and Lu, James J. and Subrahmanian, V. S.}, biburl = {https://www.bibsonomy.org/bibtex/2d18d4d665fb17aeebc196904d1e037ee/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1997}, editor = {Dix, Jürgen and Furbach, Ulrich and Nerode, Anil}, ee = {https://doi.org/10.1007/3-540-63255-7_14}, interhash = {b8476dd260a13c3e5a3fcfc9acadfb9b}, intrahash = {d18d4d665fb17aeebc196904d1e037ee}, isbn = {3-540-63255-7}, keywords = {dblp}, pages = {198-217}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:24.000+0200}, title = {Computing Non-Ground Representations of Stable Models.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr97.html#EiterLS97}, volume = 1265, year = 1997 }