Ультан, А.Е., Абрамченко, Н.В., Мещерякова, Н.А. и Мещеряков, Е.А. 2018. Алгоритмнахождения неравенств-следствий. ОМСКИЙ НАУЧНЫЙ ВЕСТНИК. 1(157) (мар. 2018), 87–91. DOI:https://doi.org/10.25206/1813-8225-2018-157-87-91.