@inproceedings{Een_LNR_15,
    address          = {Austin, TX, USA},
    author           = {Een, Niklas and Legg, Alexander and Narodytska, Nina and Ryzhyk, Leonid},
    booktitle        = {AAAI},
    keywords         = {termite, reactive synthesis, sat, qbf, interpolants},
    month            = jan,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8328.pdf},
    title            = {{SAT}-based Strategy Extraction in Reachability Games},
    year             = {2015}
  }