1. Bonevac, D., 1986, Deduction. Introductory Symbolic Logic, Palo Alto, California: Mayfield.
2. Kalish, D. and Montague, R., 1964, Logic. Techniques of Formal Reasoning, New York: Harcourt, Bran & World.
3. Kamp, H. and Reyle, U., 1993, From Discourse to Logic, Vol. I, Dordrecht: Kluwer.
4. Gabbay, Dov and Reyle, U. ?Direct deductive computation on discourse representation structures,? to appear in: Linguistics and Philosophy.
5. Guenthner, F., Lehmann, H., and Schoenfeld, W., 1986, ?A theory for the representation of knowledge,? IBM Journal of Research and Development 30, 1.