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