@book{189818,
	author = {Шанин Н. А. and Акад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел.},
	title = {Алгорифм машинного поиска естественного логического вывода в иссилении высказываний /},
	publisher = {наука,},
	year = {1965.},
	address = {М.: }
}