Kamide, N., and M. Mouri. “Natural Deduction Systems for Some Non-Commutative Logics”. Logic and Logical Philosophy, vol. 16, no. 2-3, Aug. 2007, pp. 105-46, doi:10.12775/LLP.2007.005.