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