Non-elementary speed up for model checking synchronous perfect recall - Cohen, M; Lomuscio, A (IOS PRESS, 2010)