M. Urchs, “Powerful Paraconsistent Logic”, FPhil, no. 9, pp. 109–114, Jan. 1993, doi: 10.18778/0208-6107.09.11.