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