@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/