A (Non-elementary) Modular Decision Procedure for LTrL.

Paul Gastin, Raphal Meyer, Antoine Petit

Browse the full MFCS paper archive.