%0 Journal Article
%A S. N. Vassilyev
%A G. M. Ponomarev
%T Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
%J Trudy Instituta matematiki i mehaniki
%D 2011
%P 35-52
%V 17
%N 2
%U http://geodesic.mathdoc.fr/item/TIMM_2011_17_2_a3/
%G ru
%F TIMM_2011_17_2_a3