Maciej Kandulski Normal Form of Derivations in the Nonassociative and Commutative Lambek Calculus with Product. 103-114 1993 39 Math. Log. Q. db/journals/mlq/mlq39.html#Kandulski93