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}, }