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