A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs.
VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming
DBLP recordconf/iclp/Ferry92 ↗
Browse the full ICLP paper archive.