%0 Journal Article %A A. S. Podkolzin %T On the organization of knowledge bases in view of automatic problem solving %J Diskretnaya Matematika %D 1991 %P 13-30 %V 3 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DM_1991_3_3_a1/ %G ru %F DM_1991_3_3_a1