@inproceedings{DBLP:conf/ecai/SchaubB96,
  title = {Prolog Technology for Default Reasoning (An Abridged Report)},
  author = {Schaub, Torsten and Br{\"{u}}ning, Stefan},
  booktitle = {{ECAI}},
  pages = {105--109},
  publisher = {John Wiley and Sons, Chichester},
  year = {1996}
}