1. J. van Benthem, Essays in Logical Semantics, D. Reidel, Dordrecht, 1986.
2. J. van Benthem, Categorial Equations, in [8]
3. J. van Benthem, Categorial Grammar meets Unification, in: J. Wedekind et al. (eds.), Unification Formalisms: Syntax, Semantics and Implementation, to appear.
4. W. Buszkowski, Solvable Problems for Classical Categorial Grammars, Bull. Pol. Acad. Scie. Math. 35 (1987), pp. 373?382.
5. W. Buszkowski, Discovery Procedures for Categorial Grammars, in [8]