@article{hal-00095667,
author = {Cegielski, Patrick},
title = {Definability, decidability and complexity},
journal = {HAL},
volume = {1996},
number = {0},
year = {1996},
language = {en},
url = {http://dml.mathdoc.fr/item/hal-00095667}
}
Cegielski, Patrick. Definability, decidability and complexity. HAL, Tome 1996 (1996) no. 0, . http://gdmltest.u-ga.fr/item/hal-00095667/