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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.