@article{SchaubNicolas1997,
  author    = {Torsten H. Schaub and Pascal Nicolas},
  title     = {An implementation platform for query-answering in default logics : theoretical underpinnings},
  year      = {1997},
}