Ginsberg88a'

BibTeX

@inproceedings{DBLP:conf/aaai/Ginsberg88a,
  author    = {Allen Ginsberg},
  title     = {Knowledge-Base Reduction: A New Approach to Checking knowledge
               Bases for Inconsistency and Redundancy},
  booktitle = {AAAI},
  year      = {1988},
  pages     = {585-589},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}