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