@article{SJIM_2009_12_3_a6,
     author = {G. S. Lbov and V. M. Nedel'ko and S. V. Nedel'ko},
     title = {An~Adaptive {Search} {Method} for {a~Logical} {Solving} {Function}},
     journal = {Sibirskij \v{z}urnal industrialʹnoj matematiki},
     pages = {66--74},
     publisher = {mathdoc},
     volume = {12},
     number = {3},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SJIM_2009_12_3_a6/}
}