Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (ICTERI, 2012)

Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (ICTERI (Revised Selected Papers), 2012)

Composition-Nominative Logics in Rigorous Development of Software Systems. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (UNISCON, 2012)

Satisfiability in composition-nominative logics. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (Central Eur. J. Comput. Sci., 2012)

Satisfiability Problems in Quasiary Program Logics. - Mykola Nikitchenko; Stepan S. Shkilniak; Valentyn G. Tymofieiev (ACIT, 2018)