Algebra and Logic

Proceedings Paper
Kahle,R;Oitavem,I
Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010.
3rd International Workshop on Classical Logic and Computation, CLaC 2010
EPTCS
2010
47

44-56
10.4204/eptcs.47.6