CT-1993-05: Aarts, Erik (1993) Proving Theorems of the Lambek Calculus of Order 2 in Polynomial Time. [Report]