@misc{indiciae2db725cc316d,
  title = {Generic Partition Refinement and Weighted Tree Automata},
  author = {Hans-Peter Deifel and Stefan Milius and Lutz Schröder and Thorsten Wißmann},
  year = {2019},
  url = {https://arxiv.org/abs/1811.08850},
  note = {Source identifier: 1811.08850}
}