Allen Ginsberg. Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy. In AAAI. pages 585-589, 1988.
@inproceedings{Ginsberg88a, title = {Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy}, author = {Allen Ginsberg}, year = {1988}, tags = {rule-based, redundancy, systematic-approach}, researchr = {https://researchr.org/publication/Ginsberg88a}, cites = {0}, citedby = {0}, pages = {585-589}, booktitle = {AAAI}, }