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.

No reviews for this publication, yet.