1. Lect Notes Comput Sci;G. Attardi,1994
2. G. Attardi and M. Simi. Proofs in context. In J. Doyle and P. Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference. Morgan Kaufmann, 1994.
3. P. Blackburn, J. Bos, M. Kohlhase, and H. de Nivelle. Inference and computational semantics. In H. Bunt and E. Thijsse, editors, 3rd International Workshop on Computational Semantics (IWCS-3), pages 5–21. Tilburg University, 1999.
4. D. Beaver. Presupposition. In van Benthem and ter Meulen [18], pages 939–1008.
5. S. Buvaĉ and I.A. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, editors, Proceedings of the 11th National Conference on Artificial Intelligence, pages 412–419, Menlo Park, CA, 1993. AAAI Press.