1. Avron, A., ?Simple consequence relations?,Information and Computation 92, 105?139 (1991).
2. Bibel, W.,Automated Theorem Proving, Vieweg Verlag, Braunschweig (1982).
3. Bell, J. L. and Machover, M.,A Course in Mathematical Logic, North-Holland, Amsterdam (1977).
4. Bundy, A.,The Computer Modelling of Mathematical Reasoning, Academic Press, New York (1983).
5. Chang, C. and Lee, R. C.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York (1973).