%0 Journal Article %A A. M. Yurin %A M. P. Denisov %T Methods of rules selection with backward chaining in static expert systems %J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki %D 2014 %P 142-151 %V 156 %N 3 %U http://geodesic.mathdoc.fr/item/UZKU_2014_156_3_a14/ %G ru %F UZKU_2014_156_3_a14