The Non-Associative Lambek Calculus with Product in Polynomial Time.

Philippe de Groote

Browse the full TABLEAUX paper archive.