Ларионов, АлександрАлександрович. Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул : монография / А. А. Ларионов, Е. А. Черкашин ; Иркут. гос. ун-т, Ин-т динамики систем и теории упр. Сиб. отд-ния РАН. - Иркутск : Изд-во ИГУ, 2014. - 104 с. : ил. - Библиогр.: с. 95-104. - ISBN 978-5-9624-0941-2 : 140.00 р.