"Automatic Partial Inversion of Inductively Sequential Functions."

Jesús Manuel Almendros-Jiménez, Germán Vidal (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics