Pseudo-models and propositional Horn inference

Bernhard Ganter, Rüdiger Krauße. Pseudo-models and propositional Horn inference. Discrete Applied Mathematics, 147(1):43-55, 2005. [doi]

Abstract

Abstract is missing.