Ультан, А. Е.; Абрамченко, Н. В.; Мещерякова, Н. А.; Мещеряков, Е. А. Алгоритмнахождения неравенств-следствий. ОНВ 2018, 87-91.