Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. - Mykola S. Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak; Tohrul Mamedov (Comput. Sci. J. Moldova, 2019)