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