"Proof theory of Nelson's paraconsistent logic: A uniform perspective."

Norihiro Kamide, Heinrich Wansing (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics