@TechReport{      maletti,
  Author        = "Maletti, Andreas and Blattmann, Malte",
  date-added    = "2022-05-12 08:18:18 +0200",
  date-modified = "2022-05-12 08:18:50 +0200",
  Title         = "Decidability of Equivalence for Deterministic Top-Down Tree-to-Weight Transducers",
  File          = "Maletti\_abstract - s.pdf",
  file-2        = "Deciding Equivalence for Deterministic Top-down Tree-to-Weight Transducers - 2021-06-23 - s.pdf"
}

@TechReport{ maletti, Author = "Maletti, Andreas and Blattmann, Malte", date-added = "2022-05-12 08:18:18 +0200", date-modified = "2022-05-12 08:18:50 +0200", Title = "Decidability of Equivalence for Deterministic Top-Down Tree-to-Weight Transducers", File = "Maletti_abstract - s.pdf", file-2 = "Deciding Equivalence for Deterministic Top-down Tree-to-Weight Transducers - 2021-06-23 - s.pdf" }