1. B. Beckert and R. Goré. Free variable tableaux for propositional modal logics. Interner Bericht 41/96, Universität Karlsruhe, Fakultät für Informatik, 1996.
2. B. Beckert, R. Hähnle, P. Oel, and M. Sulzmann. The tableau-based theorem prover 3 T A P, version 4.0. In Proc. CADE-13, LNCS 1104. Springer, 1996.
3. B. Beckert and J. Posegga. leanT A P: Lean tableau-based deduction. Journal of Automated Reasoning, 15(3):339–358, 1995.
4. E. Bencivenga. Free logic. In D. Gabbay and F. Günthner, editors, Handbook of Philosophical Logic, volume 3. Kluwer, Dordrecht, 1986.
5. M. D'Agostino, D. Gabbay, and A. Russo. Grafting modalities onto substructural implication systems. Studia. Logica, 1996. To appear.