TY  - RPRT
TI  - Proceedings Fourth Workshop on Classical Logic and Computation
AU  - Herman Geuvers
AU  - Ugo de'Liguoro
PY  - 2012
DO  - 10.4204/eptcs.97
UR  - https://arxiv.org/abs/1210.2890
ID  - 1210.2890
ER  -