Memory efficient algorithms for the verification of temporal properties (1991)

by C Courcoubetis, M Vardi, P Wolper, M Yannakakis