ТУЛУПЬЕВ,; НИКИТИН,. Экстремальные задачи в апостериорном выводе над идеалами цепочек конъюнкций. Труды СПИИРАН, v. 2, n. 2, p. 12-52, 1 abr. 2005.