@article{HanneforthMalettiQuernheim2018,
  author    = {Thomas Hanneforth and Andreas Maletti and Daniel Quernheim},
  title     = {Pushing for weighted tree automata},
  journal   = {Logical Methods in Computer Science},
  series    = {Dedicated to the memory of Zoltan Esik (1951-2016)},
  volume    = {14},
  number    = {1},
  doi       = {10.23638/LMCS-14(1:5)2018},
  year      = {2018},
}