Wilmari Bekker, Valentin Goranko. Symbolic Model Checking of Tense Logics on Rational Kripke Models. In Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe, editors, Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers. Volume 5489 of Lecture Notes in Computer Science, pages 2-20, Springer, 2007. [doi]
Abstract is missing.