1. Lecture Notes in Artificial Intelligence;P. Groote de,1999
2. Foret, A.: On the computation of joins for non associative Lambek categorial grammars. In: Proceedings of the 17th International Workshop on Unification (UNIF 2003), Valencia, Spain, June 8-9 (2003)
3. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York (1979)
4. Goré, R.: Substructural logics on display. Logic Jnl IGPL 6(3), 451–504 (1998)
5. Kandulski, M.: The non-associative Lambek calculus. Categorial Grammar, Linguistic and Literary Studies in Eastern Europe (LLSEE) 25, 141–151 (1988)