@inproceedings{DBLP:conf/kr/Schaub91,
  author = {Schaub, Torsten},
  title = {Assertional Default Theories: {A} Semantical View},
  booktitle = {{KR}},
  pages = {496--506},
  publisher = {Morgan Kaufmann},
  year = {1991}
}