Mykola S. Nikitchenko, Valentyn G. Tymofieiev. Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. In Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, editors, ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Volume 347 of Communications in Computer and Information Science, pages 89-110, Springer, 2012. [doi]
Abstract is missing.