Learning logic programs by finding minimal unsatisfiable subprograms

Open in new window