"The Cut-Elimination Theorem for Differential Nets with Promotion."

Michele Pagani (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics