Learning Tree Automata with Term Rewriting. - Jakub Kopystianski; Jan Otop (CoRR, 2026)