@inproceedings{BruTiu2001,
   author =      {Br\"unnler, Kai and Tiu, Alwen Fernanto},
   title =       {A Local System for Classical Logic},
   year =        2001,
   booktitle =   {LPAR 2001},
   publisher =   {Springer-Verlag},
   volume =      2250,
   pages =       {347--361},
   editor =      {R. Nieuwenhuis and A. Voronkov},
   series =      {Lecture Notes in Artificial Intelligence}
}