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 February 14, 2026. https://apcz.umk.pl/LLP/article/view/LLP.2018.002.