@book{572281,
	title = {Алгоритм машинного поиска естественного логического вывода в исчислении высказываний /},
	publisher = { Наука. [Ленингр. отд-ние] ,},
	year = {1965.},
	address = { Ленинград :}
}