Stepan Kuznetsov. Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives. In Glyn Morrill, Mark-Jan Nederhof, editors, Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings. Volume 8036 of Lecture Notes in Computer Science, pages 242-249, Springer, 2013. [doi]
Abstract is missing.