An Automatic Composition Algorithm for Functional Logic Programs

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

2000

Lecture Notes in Computer Science