A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs

Audrey Ferry. A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs. In JICSLP. pages 45-68, 1992.

@inproceedings{Ferry92,
  title = {A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs},
  author = {Audrey Ferry},
  year = {1992},
  researchr = {https://researchr.org/publication/Ferry92},
  cites = {0},
  citedby = {0},
  pages = {45-68},
  booktitle = {JICSLP},
}