EtheringtonMR84'

BibTeX

@inproceedings{DBLP:conf/nmr/EtheringtonMR84,
  author    = {David W. Etherington and
               Robert E. Mercer and
               Raymond Reiter},
  title     = {On the Adequacy of Predicate Circumscription for Closed-World
               Reasoning},
  booktitle = {NMR},
  year      = {1984},
  pages     = {70-81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}