The Narrowing-Driven Approach to Functional Logic Program Specialization

Albert Albiol Elvira Maria, Vidal Oriola Germán Francisco

2001

New Generation Computing