@techReport{BruLCL03,
   author =      {Kai Br\"unnler},
   title =       {Locality for Classical Logic},
   institution = {Technische Universit\"at Dresden},
   year =        2003,
   number =      {WV-03-04}
}