Thomas Eiter, James J. Lu, V. S. Subrahmanian. Computing Non-Ground Representations of Stable Models. In Jürgen Dix, Ulrich Furbach, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Volume 1265 of Lecture Notes in Computer Science, pages 198-217, Springer, 1997.
@inproceedings{EiterLS97:0, title = {Computing Non-Ground Representations of Stable Models}, author = {Thomas Eiter and James J. Lu and V. S. Subrahmanian}, year = {1997}, researchr = {https://researchr.org/publication/EiterLS97%3A0}, cites = {0}, citedby = {0}, pages = {198-217}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings}, editor = {Jürgen Dix and Ulrich Furbach and Anil Nerode}, volume = {1265}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63255-7}, }