TY  - RPRT
TI  - Variants into minimal logic of the Kuroda negative translation
AU  - Jaime Gaspar
PY  - 2013
UR  - https://arxiv.org/abs/1108.0634
ID  - 1108.0634
ER  -