TY - RPRT TI - Canonicity in GFG and Transition-Based Automata AU - Bader Abu Radi AU - Orna Kupferman PY - 2020 DO - 10.4204/eptcs.326.13 UR - https://arxiv.org/abs/2009.10885 ID - 2009.10885 ER -