Stable Semantics for Logic Programs and Default Theories

V. Wiktor Marek, Miroslaw Truszczynski. Stable Semantics for Logic Programs and Default Theories. In NACLP. pages 243-256, 1989.

@inproceedings{MarekT89:0,
  title = {Stable Semantics for Logic Programs and Default Theories},
  author = {V. Wiktor Marek and Miroslaw Truszczynski},
  year = {1989},
  tags = {semantics, logic programming, logic},
  researchr = {https://researchr.org/publication/MarekT89%3A0},
  cites = {0},
  citedby = {0},
  pages = {243-256},
  booktitle = {NACLP},
}