Modular Temporal Logic. - Augustin Baziramwabo; Pierre McKenzie; Denis Thérien (LICS, 1999)