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.

Abstract

Abstract is missing.