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