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