1. Proving theorems of the Lambek calculus of order 2 in polynomial time;Aarts;Stud. Logica,1994
2. Investigations in logic, language and computation;Aarts,1995
3. Non-associative Lambek categorial grammar in polynomial time;Aarts;Math. Logic Q.,1996
4. Linear logic and Lambek calculus, Proc. 1st Rome Workship 1993,1994
5. Die syntaktische Konnexität;Ajdukiewicz;Stud. Philos.,1935