Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1995_342_6_a5, author = {L. I. Stanevichene}, title = {An unsolvable algorithmic problem for deterministic push-down}, journal = {Doklady Akademii Nauk}, pages = {744--746}, publisher = {mathdoc}, volume = {342}, number = {6}, year = {1995}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1995_342_6_a5/} }
L. I. Stanevichene. An unsolvable algorithmic problem for deterministic push-down. Doklady Akademii Nauk, Tome 342 (1995) no. 6, pp. 744-746. http://geodesic.mathdoc.fr/item/DAN_1995_342_6_a5/