ω-Forest Algebras and Temporal Logics. - Achim Blumensath; Jakub Lédl (MFCS, 2021)