Specialization of functional logic programs based on needed narrowing.

María Alpuente Salvador Lucas Michael Hanus Germán Vidal Specialization of functional logic programs based on needed narrowing. 273-303 2005 5 TPLP 3 http://dx.doi.org/10.1017/S1471068404002303 db/journals/tplp/tplp5.html#AlpuenteLHV05