Skura, T. (2009) “The RM paraconsistent refutation system”, Logic and Logical Philosophy, 18(1), pp. 65–70. doi: 10.12775/LLP.2009.005.