Learning logic programs by discovering where not to search

Open in new window