Inductive Inference of Functional Logic Programs by Inverse Narrowing

Hernández Orallo José, Ramírez Quintana María José

1998

Inductive Inference of Functional Logic Programs by Inverse Narrowing