Reasoning about infinite computation paths (1983)

by P Wolper, M Y Vardi, A P Sistla
Venue:in Proceedings of 24th IEEE Symposium on Foundation of Computer Science, Tuscan