Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov. Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. The Computer Science Journal of Moldova, 27(2):162-187, 2019. [doi]
Abstract is missing.