@techReport{BruGug2003,
   author =      {Br\"unnler, Kai and Guglielmi, Alessio},
   title =       {A Finitary System for First Order Logic},
   institution = {Technische Universit\"at Dresden},
   year =        2003,
   number =      {WV-03-09},
   note =        {Accepted at `First Order Logic 75'}
}