Ganter, B. & Krau├če, R. (2005). Pseudo-models and propositional Horn inference. Discrete Applied Mathematics, 147, 43--55. doi: 10.1016/j.dam.2004.06.019