Non-associative Lambek calculus in polynomial time (1999)

by Philippe de Groote
Venue:Automated Reasoning with analytic tableaux and related methods, TABLEAUX‘99, number 1617 in Lecture Notes in Artificial Intelligence