Ilya Shapirovsky: Satisfiability Problems on Sums of Kripke Frames. ACM Trans. Comput. Log. 23(3): 15:1-15:25 (2022)