Chvalovský, K., Horčík, R. Full Lambek Calculus with Contraction is Undecidable. Journal of Symbolic Logic. 2016, 81(2), 524-540. ISSN 0022-4812. E-ISSN 1943-5886. Available: https://doi.org/10.1017/jsl.2015.18