@MastersThesis{   Bahr,
  Author        = "Bahr, Patrick",
  date-added    = "2014-01-24 14:15:07 +0000",
  date-modified = "2014-01-24 14:15:32 +0000",
  Keywords      = "transfinite rewriting",
  School        = {Fakult{\"a}t f{\"u}r Informatik der Technischen Universit{\"a}t Wien},
  Title         = "Infinitary Rewriting -- Theory and Applications",
  Year          = "2009",
  File          = "Infinitary Rewriting – Theory and Applications - Bahr (0) (0) - a - a - c.pdf"
}

@MastersThesis{ Bahr, Author = "Bahr, Patrick", date-added = "2014-01-24 14:15:07 +0000", date-modified = "2014-01-24 14:15:32 +0000", Keywords = "transfinite rewriting", School = {Fakult{\"a}t f{\"u}r Informatik der Technischen Universit{\"a}t Wien}, Title = "Infinitary Rewriting -- Theory and Applications", Year = "2009", File = "Infinitary Rewriting – Theory and Applications - Bahr (0) (0) - a - a - c.pdf" }