@inproceedings{DBLP:conf/ecai/Schaub92,
  author = {Schaub, Torsten},
  title = {On Constrained Default Theories},
  booktitle = {{ECAI}},
  pages = {304--308},
  year = {1992}
}