ConryMM90'

BibTeX

@inproceedings{DBLP:conf/aaai/ConryMM90,
  author    = {Susan E. Conry and
               D. J. MacIntosh and
               R. A. Meyer},
  title     = {DARES: A Distributed Automated REasoning System},
  booktitle = {AAAI},
  year      = {1990},
  pages     = {78-85},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}