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