"Well-typed narrowing with extra variables in functional-logic programming."

Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics