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