Markus Lohrey, Georg Zetzsche. On Boolean closed full trios and rational Kripke frames. In Ernst W. Mayr, Natacha Portier, editors, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France. Volume 25 of LIPIcs, pages 530-541, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.