Higher-order port-graph rewriting - Maribel Fernández; Sébastien Maulat (LINEARITY, 2012)

Formulas for Continued Fractions: An Automated Guess and Prove Approach. - Sébastien Maulat; Bruno Salvy (ISSAC, 2015)