Тулупьев, и Никитин. Экстремальные задачи в апостериорном выводе над идеалами цепочек конъюнкций. Труды СПИИРАН 2, no. 2 (апрель 1, 2005): 12-52. просмотрено декабрь 22, 2024. https://ia.spcras.ru/index.php/sp/article/view/1173.