CHVALOVSKÝ, K. Undecidability of Consequence Relation in Full Non-associative Lambek Calculus. Journal of Symbolic Logic. 2015, 80(2), 567-586. ISSN 0022-4812. E-ISSN 1943-5886. Available: https://doi.org/10.1017/jsl.2014.39