Essential and redundant rules in Horn knowledge bases | IEEE Conference Publication | IEEE Xplore