The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins.

Stepan L. Kuznetsov

Browse the full AiML paper archive.