1. A.R. Anderson and N.D. Belnap. Entailment-The Logic of Relevance and Necessity. Princeton University Press, 1975.
2. L. Bachmair and H. Ganzinger. Resolution theorem proving. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier, 2001.
3. R. Goldblatt. Varieties of complex algebras. Annals of Pure and Applied Logic, 44(3):153–301, 1989.
4. U. Hustadt and R. A. Schmidt. On the relation of resolution and tableaux proof systems for description logics. In T. Dean, editor, Proceedings of IJCAI’99, volume 1, pages 110–115. Morgan Kaufmann, 1999.
5. Frontiers in Artificial Intelligence and Applications;U. Hustadt,2000