Przemyslaw Andrzej Walega. Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. In Sujata Ghosh, Sanjiva Prasad, editors, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Volume 10119 of Lecture Notes in Computer Science, pages 224-238, Springer, 2017. [doi]
Abstract is missing.