Kamide, N., i M. Mouri. „Natural Deduction Systems for Some Non-Commutative Logics”. Logic and Logical Philosophy, t. 16, nr 2-3, sierpień 2007, s. 105-46, doi:10.12775/LLP.2007.005.