Steffen van Bakel Stefano Berardi Ulrich Berger Proceedings Third International Workshop on Classical Logic and Computation CL&C http://dx.doi.org/10.4204/EPTCS.47 2010 EPTCS 47 db/series/eptcs/eptcs47.html