Symbolic Model Checking of Tense Logics on Rational Kripke Models. - Wilmari Bekker; Valentin Goranko (ILC, 2007)