@book{567381,
	author = {Агафонов В. Н. },
	title = {Логическое программирование : },
	publisher = {Мир,},
	year = {1988.},
	series = {Мат. обеспечение ЭВМ},
	address = {Москва :}
}