@TechReport{bek2tr,
  title =        "Decision Procedures for Composition and Equivalence of
                 Symbolic Finite State Transducers",
  author =       "Margus Veanes and David Molnar and Benjamin Livshits",
  year =         "2011",
  month =        march,
  institution =  "Microsoft Research",
  number =       "MSR-TR-2011-32",
}