Kozak, M. Distributivity in Symmetric Constructive Full Lambek Calculus. MPCS 2021, 38, 68-69.