A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction.

Franco Barbanera Stefano Berardi A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction. 1-23 1992 conf/caap/1992 CAAP db/conf/caap/caap92.html#BarbaneraB92 http://dx.doi.org/10.1007/3-540-55251-0_1