Тулупьев,; Никитин,. Экстремальные задачи в апостериорном выводе над идеалами цепочек конъюнкций. ТС 2005, 2, 12-52.