Elvira Albert Germán Vidal The Narrowing-driven Approach to Functional Logic Program Specialization. 3-26 2001 20 New Generation Comput. 1 db/journals/ngc/ngc20.html#AlbertV01