Philippe de Groote Denotations for Classical Proofs - Preliminary Results. 105-116 1992 conf/lfcs/1992 LFCS db/conf/lfcs/lfcs1992.html#Groote92