@article{NicolasSchaub1998,
  author    = {Pascal Nicolas and Torsten H. Schaub},
  title     = {The XRay system : an implementation platform for local query-answering in default logics},
  year      = {1998},
}