@PhdThesis{Giese02b,
  author =       {Martin Giese},
  title =        {Proof Search without Backtracking for 
                  Free Variable Tableaux},  
  school =       {Fakult\"{a}t f\"{u}r Informatik, 
                  Universit\"{a}t Karlsruhe},
  year =         {2002},
  month =        jul
}