"Automatic parallelization of recursive functions with rewriting rules."

Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics