Chetan R. Murthy An Evaluation Semantics for Classical Proofs 96-107 conf/lics/LICS6 1991 LICS db/conf/lics/lics91.html#Murthy91