Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.):
Proceedings Third International Workshop on Classical Logic and Computation.
EPTCS 47 2010 
Federico Aschieri:
Interactive Learning Based Realizability and 1-Backtracking Games.
6-20
Trifon Trifonov:
Dialectica Interpretation with Marked Counterexamples.
73-84
data released under the ODC-BY 1.0 license
