@book{572257,
	author = {Александров, Виктор Васильевич},
	title = {Автоматизированная обработка информации на языке предикатов / },
	publisher = {Наука, },
	year = {1982.},
	address = {Москва : }
}