T. Skura, “The RM paraconsistent refutation system”, LLP, vol. 18, no. 1, pp. 65–70, Aug. 2009.