@article{TIMM_2011_17_2_a3,
     author = {S. N. Vassilyev and G. M. Ponomarev},
     title = {Automation methods for logical derivation and their application in the control of dynamic and intelligent systems},
     journal = {Trudy Instituta matematiki i mehaniki},
     pages = {35--52},
     year = {2011},
     volume = {17},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TIMM_2011_17_2_a3/}
}