@book{78425,
	author = {Летичевский, Александр Адольфович and Институт кибернетики им. В. М. Глушкова},
	title = {Методы и средства алгебраического и логического программирования :},
	publisher = {ИК,},
	year = {1990.},
	address = {Киев :}
}