1. Тулупьев, Никитин Экстремальные задачи в апостериорном выводе над идеалами цепочек конъюнкций // Труды СПИИРАН. 2005. № 2 (2). C. 12-52.