1. J. Aráoz, Search in Horn's knowledge bases and the simplex algorithm, Proceedings of PANEL’91, edited by Coordinación de Computación, USB, Caracas, 1991, pp. 1273–1282.
2. C. Berge, Graphes et Hypergraphes, 2nd Edition, Dunot, Paris, 1976.
3. On sentences which are true of direct unions of algebras;Horn;J. Symbolic Logic,1951
4. Computation-oriented reductions of predicate to propositional logic;Jeroslow;Decision Support Systems,1988
5. Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York, 1974.