Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev. Satisfiability Problems in Quasiary Program Logics. In Mykola Dyvak, Libor Dostálek, editors, Proceedings of the International Conference Advanced Computer Information Technologies, ACIT 2018, Ceske Budejovice, Czech Republic, June 1-3, 2018. Volume 2300 of CEUR Workshop Proceedings, pages 175-178, CEUR-WS.org, 2018. [doi]
Abstract is missing.