%0 Journal Article %A S. Yu. Maslov %A S. A. Norgela %T Herbrand strategies and the ``greater deducibility'' relation %J Zapiski Nauchnykh Seminarov POMI %D 1977 %P 51-61 %V 68 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a5/ %G ru %F ZNSL_1977_68_a5