Kozak, M. 2021. Distributivity in Symmetric Constructive Full Lambek Calculus. Mathematical Problems of Computer Science. 38, (Dec. 2021), 68–69.