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