G.: Categorial grammars determined from linguistic data by unification. Studia Logica (1990)

by W Buszkowski, Penn