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.

Authors

Audrey Ferry

This author has not been identified. Look up 'Audrey Ferry' in Google