1. Aho Alfred V., Sethi Ravi, and Ullman Jeffrey D.,Compilers: Principles, Techniques, and Tools, Addison-Wesley, Reading, Mass. (1986).
2. Anderson Alan Ross, and Belnap Nuel D.Jr.,Entailment, The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, Princeton (1975).
3. Brady Ross T., ‘A computer program for determining matrix models of propositional calculi’,Logique et Analyse 74, 233–253 (1976).
4. Haralick Robert M., and Elliott Gordon L., ‘Increasing tree search efficiency for constraint satisfaction problems’,Artificial Intelligence 14, 263–313 (1980).
5. Harrop R., ‘Some structure results for propositional calculi’,J. Symbolic Logic 30, 271–292 (1965).