Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1963_2_3_a0, author = {A. V. Gladkii}, title = {On the recognition of replaceability in recursive languages}, journal = {Algebra i logika}, pages = {5--22}, publisher = {mathdoc}, volume = {2}, number = {3}, year = {1963}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1963_2_3_a0/} }
A. V. Gladkii. On the recognition of replaceability in recursive languages. Algebra i logika, Tome 2 (1963) no. 3, pp. 5-22. http://geodesic.mathdoc.fr/item/AL_1963_2_3_a0/