@article{journals/tcs/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",
  journal = "Theor. Comput. Sci.",
  number = "1{\&}2",
  pages = "221-262",
  volume = "166",
  doi = "10.1016/0304-3975(95)00207-3",
}