Wojciech Zielonka. On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. Studia Logica, 71(1):31-46, 2002.
@article{Zielonka02, title = {On Reduction Systems Equivalent to The Lambek Calculus with the Empty String}, author = {Wojciech Zielonka}, year = {2002}, researchr = {https://researchr.org/publication/Zielonka02}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {71}, number = {1}, pages = {31-46}, }