Reasoning about infinite computation paths (1983)

by P Wolper, M Y Vardi, P A Sistla
Venue:In FOCS