Induction of Constraint Logic Programs
scientific article