TY - CONF T1 - A Compilation-Chart Method for Linear Categorial Deduction. JO - COLING UR - https://aclanthology.org/volumes/C96-1/ PY - 1996/01/01 AU - Hepple M ED - SP - 537 EP - 542 Y2 - 2025/11/18 ER -