arXiv 2004-03-09 EN Specialization of Functional Logic Programs Based on Needed Narrowing Alpuente, Maria · Hanus, Michael · Lucas, Salvador · Vidal, German