@inproceedings{DBLP:conf/aaai/BeringerS93,
  author = {Beringer, Antje and Schaub, Torsten},
  title = {Minimal Belief and Negation as Failure: {A} Feasible Approach},
  booktitle = {{AAAI}},
  pages = {400--405},
  publisher = {{AAAI} Press / The {MIT} Press},
  year = {1993}
}