Decomposition of TrPTL Formulas.

Raphal Meyer, Antoine Petit

Browse the full MFCS paper archive.