Essential and redundant rules in Horn knowledge bases

Peter L. Hammer, Alexander Kogan. Essential and redundant rules in Horn knowledge bases. In HICSS (2). pages 209, 1995. [doi]

@inproceedings{HammerK95,
  title = {Essential and redundant rules in Horn knowledge bases},
  author = {Peter L. Hammer and Alexander Kogan},
  year = {1995},
  url = {http://csdl.computer.org/comp/proceedings/hicss/1995/6940/00/69400209abs.htm},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/HammerK95},
  cites = {0},
  citedby = {0},
  pages = {209},
  booktitle = {HICSS (2)},
}