Trybus, A. (2018). A Generalisation of a Refutation-related Method in Paraconsistent Logics. Logic and Logical Philosophy, 27(2), 235–261. https://doi.org/10.12775/LLP.2018.002