1. Parsing second order Lambek grammar in polynomial time. In: Proceedings of the Ninth Amsterdam Colloquium ( and , eds.). Institute for Logic, Language and Computation, University of Amsterdam, December 1993, pp. 35–45.
2. Proving theorems of the second order Lambek calculus in polynomial time
3. , and , Introduction to Algorithms, MIT Press, Cambridge, Mass., 1990.
4. On Properties of the Zielonka-Lambek Calculus. In: Proceedings of the Eighth Amsterdam Colloquium ( and , eds.). Institute for Logic, Language and Computation, University of Amsterdam, December 1991, pp. 303–308.