Shkilniak, S. (2018). Sequent calculi for first-order logics of single-valued quasi-ary predicates. PROBLEMS IN PROGRAMMING.
Chicago Style (17th ed.) CitationShkilniak, S.S. Sequent Calculi for First-order Logics of Single-valued Quasi-ary Predicates. PROBLEMS IN PROGRAMMING, 2018.
MLA (8th ed.) CitationShkilniak, S.S. Sequent Calculi for First-order Logics of Single-valued Quasi-ary Predicates. PROBLEMS IN PROGRAMMING, 2018.
Warning: These citations may not always be 100% accurate.