Construction of Sequent Calculi for First-order Logics of Quasiary Predicates - S. S. Shkilniak (Artificial intelligence, 2013)