@article{SchaubBruening1998,
  author    = {Torsten H. Schaub and Stefan Br{\"u}ning},
  title     = {Prolog technology for default reasoning : proof theory and compilation techniques},
  year      = {1998},
}