Avoiding The State Explosion Problem in Temporal Logic Model Checking.

Edmund M. Clarke Orna Grumberg Avoiding The State Explosion Problem in Temporal Logic Model Checking. 294-303 1987 PODC db/conf/podc/podc87.html#ClarkeG87