"Conditional narrowing without conditions."

Sergio Antoy, Bernd Brassel, Michael Hanus (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics