@article{SchaubBrueningNicolas1996,
  author    = {Torsten H. Schaub and Stefan Br{\"u}ning and Pascal Nicolas},
  title     = {XRay : a prolog technology theorem prover for default reasoning: a system description},
  year      = {1996},
}