FreitagR88'

BibTeX

@inproceedings{DBLP:conf/ecai/FreitagR88,
  author    = {Hartmut Freitag and
               Michael Reinfrank},
  title     = {A Non-Monotonic Deduction System Based on (A)TMS},
  booktitle = {ECAI},
  year      = {1988},
  pages     = {601-606},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}