@article{ZVMMF_2003_43_8_a9,
     author = {S. I. Gurov},
     title = {Logical recognition algorithms based on the {Gilbert} expansion},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {1243--1248},
     year = {2003},
     volume = {43},
     number = {8},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_2003_43_8_a9/}
}