Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms.

Andrew Cropper, Cline Hocquette

Browse the full ECAI paper archive.