Aachener__Informatik-bericht
Higher-Order Narrowing with Definitional Trees
Specialization of Functional Logic Programs Based on Needed Narrowing
©2007 Dammam Community College
Higher-Order Narrowing with Definitional Trees
Specialization of Functional Logic Programs Based on Needed Narrowing