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