@inproceedings{AK20, author = {B. Abu Radi and O. Kupferman}, title = {Canonicity in GFG and Transition-Based Automata}, booktitle = gandalf20, pages = {?}, year = {2020} }