Decomposition of TrPTL Formulas. - Raphaël Meyer; Antoine Petit 001 (MFCS, 1997)

A (Non-elementary) Modular Decision Procedure for LTrL. - Paul Gastin; Raphaël Meyer; Antoine Petit 001 (MFCS, 1998)

Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof. - Raphaël Meyer; Antoine Petit 001 (STACS, 1998)

An Extension of the Wreath Product Principle for Finite Mazurkiewicz Traces. - Giovanna Guaiana; Raphaël Meyer; Antoine Petit 001; Pascal Weil (Inf. Process. Lett., 1998)