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