María Alpuente Michael Hanus Salvador Lucas Germán Vidal Specialization of Functional Logic Programs Based on Needed Narrowing http://arxiv.org/abs/cs.PL/0403011 2004 CoRR cs.PL/0403011 db/journals/corr/corr0403.html#cs-PL-0403011 informal publication