Deep Inference and Its Normal Form of Derivations.

Kai Brünnler Deep Inference and Its Normal Form of Derivations. 65-74 2006 conf/cie/2006 CiE http://dx.doi.org/10.1007/11780342_7 db/conf/cie/cie2006.html#Brunnler06