TY  - RPRT
TI  - Five Conferences on Undecidability
AU  - Nicolas Bouleau
AU  - Jean-Yves Girard
AU  - Alain Louveau
PY  - 2007
UR  - https://arxiv.org/abs/0711.4717
ID  - 0711.4717
ER  -