Trybus, Adam. 2018. “A Generalisation of a Refutation-Related Method in Paraconsistent Logics”. Logic and Logical Philosophy 27 (2):235-61. https://doi.org/10.12775/LLP.2018.002.