@inproceedings{BeierleKernIsbernerKoch2008IJCAR,
  AUTHOR = {C. Beierle and G. Kern-Isberner and N. Koch},
  title     = {A High-Level Implementation of a System 
               for Automated Reasoning with Default Rules (System Description)},
  booktitleSHORT = {IJCAR-2008},
  pages     = {147-153},
  eeNNN        = {...},
  editor    = {A. Armando and P. Baumgartner and G. Dowek},
  booktitle     = {Proc. of the 4th International Joint Conference on
                   Automated Reasoning (IJCAR-2008)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5195},
  year      = {2008},
  isbn_NNN  = {...},
  NOTE = "(to appear)"
}