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