TY - RPRT TI - Specialization of Functional Logic Programs Based on Needed Narrowing AU - Maria Alpuente AU - Michael Hanus AU - Salvador Lucas AU - German Vidal PY - 2004 UR - https://arxiv.org/abs/cs/0403011 ID - cs/0403011 ER -