@article{DBLP:journals/ai/LinkeS00, title = {Alternative foundations for Reiter's default logic}, author = {Linke, Thomas and Schaub, Torsten}, journal = {Artif. Intell.}, number = {1}, pages = {31--86}, volume = {124}, year = {2000} }