@book{10026995,
	author = {Ларионов, А. А. and Черкашин, Е. А.},
	title = {Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул},
	publisher = {ИГУ},
	year = {2014},
	address = {Иркутск}
}