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