A Streamlined Temporal Completeness Theorem.

Ana Pasztor, Ildik Sain

Browse the full CSL paper archive.