TY  - RPRT
TI  - Learning Tree Automata with Term Rewriting
AU  - Jakub Kopystiański
AU  - Jan Otop
PY  - 2026
UR  - https://arxiv.org/abs/2605.07710
ID  - 2605.07710
ER  -