1. Proceedings 1 st Rome Workshop, June 1993,1994
2. Andreoli, J.-M., 1992, ?Logic programming with focusing proofs in linear logic,? Journal of Logic and Computation 2(3).
3. Barry, G. and Morrill, G., eds., 1990 Studies in Categorial Grammar. CCS, Edinburgh.
4. Report 83-29;J. Benthem van,1983
5. Studies in Logic;J. Benthem van,1991