A Strong Complete Schema for Inductive Functional Logic Programming

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

1999

Lecture Notes in Computer Science