@book{1376126,
	author = {Медведев, А. А.},
	title = {Основы логического программирования},
	publisher = {Изд-во Кург. гос. ун-та},
	year = {2004},
	address = {Курган}
}