Trybus, Adam. “A Generalisation of a Refutation-Related Method in Paraconsistent Logics”. Logic and Logical Philosophy 27, no. 2 (January 25, 2018): 235–261. Accessed October 27, 2021. https://apcz.umk.pl/LLP/article/view/LLP.2018.002.