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