[1]
A. Trybus, “A Generalisation of a Refutation-related Method in Paraconsistent Logics”, LLP, vol. 27, no. 2, pp. 235–261, Jan. 2018.