Algorithms for Generation in Lambek Theorem Proving Erik-Jan van der Linden author Guido Minnen author 1990-06 text 28th Annual Meeting of the Association for Computational Linguistics Association for Computational Linguistics Pittsburgh, Pennsylvania, USA conference publication van-der-linden-minnen-1990-algorithms 10.3115/981823.981851 https://aclanthology.org/P90-1028/ 1990-06 220 226