M. Kozak, “Distributivity in Symmetric Constructive Full Lambek Calculus”, MPCS, vol. 38, pp. 68–69, Dec. 2021.