Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla. Reasoning about Infinite Computation Paths (Extended Abstract). In 24th Annual Symposium on Foundations of Computer Science, 7-9 November 1983, Tucson, Arizona, USA. pages 185-194, IEEE, 1983.
Abstract is missing.