А. Е. Ультан, Н. В. Абрамченко, Н. А. Мещерякова, и Е. А. Мещеряков, «Алгоритмнахождения неравенств-следствий», ОНВ, вып. 1(157), сс. 87–91, мар. 2018.