A Needed Narrowing Strategy.

Sergio Antoy, Rachid Echahed, Michael Hanus

Browse the full POPL paper archive.