@inproceedings{DBLP:conf/drums/NicolasS98, author = {Nicolas, Pascal and Schaub, Torsten}, title = {The XRay system: An implementation platform for local query-answering in default logics}, booktitle = {Applications of Uncertainty Formalisms}, series = {Lecture Notes in Computer Science}, volume = {1455}, pages = {354--378}, publisher = {Springer}, year = {1998} }