Skura, T. The RM Paraconsistent Refutation System. LLP 2009, 18, 65-70.