Essential and redundant rules in Horn knowledge bases Authors: Hammer, Peter L.; Kogan, Alexander Journal: Decision Support Systems (1996) DOI: 10.1016/0167-9236(95)00002-x View in Otero