"Free theorems for functional logic programs."

Jan Christiansen, Daniel Seidel, Janis Voigtländer (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics