@inproceedings{DBLP:conf/cade/SchaubBN96,
  author = {Schaub, Torsten and Br{\"{u}}ning, Stefan and Nicolas, Pascal},
  title = {XRay: {A} Prolog Technology Theorem Prover for Default Reasoning: {A} System Description},
  booktitle = {{CADE}},
  series = {Lecture Notes in Computer Science},
  volume = {1104},
  pages = {293--297},
  publisher = {Springer},
  year = {1996}
}