Pure first-order quasiary logics with equality predicates - M. S. Nikitchenko; S. S. Shkilniak (Problems in programming, 2017)