@article{SchaubBruening1996,
  author    = {Torsten H. Schaub and Stefan Br{\"u}ning},
  title     = {Prolog technology for default reasoning},
  year      = {1996},
}