A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs. - Audrey Ferry (Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992)

Topological characterizations for logic programming semantics. - Audrey Ferry (1994)

A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs. - Audrey Ferry (Ann. Math. Artif. Intell., 1995)

A Continuum of Discrete Systems. - Howard A. Blair; Jagan Chidella; Fred Dushin; Audrey Ferry; Paul R. Humenn (Ann. Math. Artif. Intell., 1997)