Glyn Morrill: Higher-order Linear Logic Programming of Categorial Deduction. EACL 1995: 133-140