Maciej Kandulski On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars. 217-235 1995 41 Math. Log. Q. db/journals/mlq/mlq41.html#Kandulski95