TY  - RPRT
TI  - Bqo is Pi^1_2-complete
AU  - Alberto Marcone
PY  - 1994
UR  - https://arxiv.org/abs/math/9405207
ID  - math/9405207
ER  -