in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. in EPTCS, ISSN: 2075-2180
Volume: 47, Pages: 44-56
Conference
3Rd International Workshop on Classical Logic and Computation, Clac 2010, Date: 21 August 2010 through 22 August 2010