Trybus, A. “A Generalisation of a Refutation-Related Method in Paraconsistent Logics”. Logic and Logical Philosophy, vol. 27, no. 2, Jan. 2018, pp. 235-61, doi:10.12775/LLP.2018.002.