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