@inproceedings{AK19,
  author    = {B. {Abu Radi} and O. Kupferman},
  title     = {Minimizing GFG Transition-Based Automata},
  booktitle = icalp19,
  pages     = {100:1-100:16},
  series    = {LIPIcs},
  volume    = {132},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},  
  year      = {2019}
}