KAMIDE, Norihiro and MOURI, Motohiko. Natural deduction systems for some non-commutative logics. Logic and Logical Philosophy. Online. 25 August 2007. Vol. 16, no. 2-3, pp. 105-146. [Accessed 15 May 2025]. DOI 10.12775/LLP.2007.005.