Audrey Ferry. A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs. Annals of Mathematics and Artificial Intelligence, 15(3-4):325-355, 1995.
No references recorded for this publication.
No citations of this publication recorded.