2nd International Workshop on Classical Logic and Computation, Reykjavik, Iceland, July 13, 2008.
Submission: Friday, April 11, 2008
Back
