TY  - JOUR
AU  - A. V. Feklichev
TI  - Program schemes with stack and markers and their decidable properties
JO  - Izvestiya. Mathematics 
PY  - 1985
SP  - 375
EP  - 390
VL  - 25
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_1985_25_2_a5/
LA  - en
ID  - IM2_1985_25_2_a5
ER  -