https://aclanthology.org/C90-2030/
Normal Form Theorem Proving for the Lambek Calculus - ACL Anthology
Mark Hepple. COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics. 1990.
normal form theoremlambek calculusprovingaclanthology