Skura, T. “The RM Paraconsistent Refutation System”. Logic and Logical Philosophy, vol. 18, no. 1, Aug. 2009, pp. 65-70, doi:10.12775/LLP.2009.005.