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