Catalin Dima Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. 117-131 2008 CLIMA IX http://dx.doi.org/10.1007/978-3-642-02734-5_8 conf/clima/2008 db/conf/clima/clima2008.html#Dima08