Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian. A Non-Ground Realization of the Stable and Well-Founded Semantics. Theoretical Computer Science, 166(1&2):221-262, 1996. [doi]
@article{GottlobMNSS96, title = {A Non-Ground Realization of the Stable and Well-Founded Semantics}, author = {Georg Gottlob and Sherry Marcus and Anil Nerode and Gernot Salzer and V. S. Subrahmanian}, year = {1996}, doi = {10.1016/0304-3975(95)00207-3}, url = {http://dx.doi.org/10.1016/0304-3975(95)00207-3}, tags = {semantics}, researchr = {https://researchr.org/publication/GottlobMNSS96}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {166}, number = {1&2}, pages = {221-262}, }