Look at this paper:
E. Chang, Z. Manna, A. Pnueli.
"Characterization of Temporal Property Classes"
The proof of Theorem 8 at page 8 says: "We will outline the proof which appears in the full version of this paper".
However I cannot find any "full version" of the paper on any search engine.
Do you know which is the full version of the paper where I can find the full proof of this theorem?