@mh

Inverse Narrowing for the Induction of Functional Logic Programs

, and . Joint Conference on Declarative Programming, page 379-392. (1998)

Links and resources

Tags