The single-conclusion proof logic and inference rules specification.

Vladimir Krupski The single-conclusion proof logic and inference rules specification. 181-206 2001 113 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal113.html#Krupski01