Inverse Narrowing for the Induction of Functional Logic Programs

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

1998

Inverse Narrowing for the Induction of Functional Logic Programs