On constraint-based Lambek calculi (1995)

by Jochen Dörre, SureshManandhar