Modular Temporal Logic.

Augustin Baziramwabo, Pierre McKenzie, Denis Thrien

Browse the full LICS paper archive.