TY - RPRT TI - Generic Partition Refinement and Weighted Tree Automata AU - Hans-Peter Deifel AU - Stefan Milius AU - Lutz Schröder AU - Thorsten Wißmann PY - 2019 UR - https://arxiv.org/abs/1811.08850 ID - 1811.08850 ER -