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