Specialization of Functional Logic Programs Based on Needed Narrowing

Alpuente Frasnedo María, Lucas Alba Salvador, Vidal Oriola Germán Francisco

2005

Theory and Practice of Logic Programming