CT-1993-05: Erik Aarts Proving Theorems of the Lambek Calculus of Order 2 in Polynomial Time 1.Full Text. < Back
