@article{IIGUM_2012_5_1_a4,
     author = {Yu. D. Korolkov},
     title = {Representing the models by the finite trees},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {48--56},
     publisher = {mathdoc},
     volume = {5},
     number = {1},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2012_5_1_a4/}
}