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

 url = {{https://aclanthology.org/volumes/C90-1/ }},

 year = {{1990}},

 month = {{1}},

 author = {{Hepple M}},

 journal = {{COLING}},

 pages = {{173-178}},

 note = {{Accessed on 2025/11/18}}}