Ультан, А.Е., Абрамченко, Н.В., Мещерякова, Н.А. and Мещеряков, Е.А. 2018. Algorithms for finding of inequality-consequences. Omsk Scientific Bulletin. 1(157) (Mar. 2018), 87–91. DOI:https://doi.org/10.25206/1813-8225-2018-157-87-91.