Trybus, A. A Generalisation of a Refutation-Related Method in Paraconsistent Logics. LLP 2018, 27, 235-261.