A Compilation-Chart Method for Linear Categorial Deduction Mark Hepple author 1996 text COLING 1996 Volume 1: The 16th International Conference on Computational Linguistics conference publication hepple-1996-compilation https://aclanthology.org/C96-1091/ 1996