F3.A — Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata

ICALP 2020