@inproceedings{inproceedings, title  = {{Normal Form Theorem Proving for the Lambek Calculus.}},

 url = {{http://aclweb.org/anthology/C/C90/ }},

 year = {{1990}},

 month = {{1}},

 author = {{Hepple M}},

 journal = {{COLING}},

 pages = {{173-178}},

 note = {{Accessed on 2024/09/20}}}