Conditional narrowing without conditions.

Sergio Antoy, Bernd Brassel, Michael Hanus

Browse the full PPDP paper archive.