@misc{Een_LNR_14,
    author           = {Een, Niklas and Legg, Alexander and Narodytska, Nina and Ryzhyk, Leonid},
    booktitle        = {iPRA workshop},
    keywords         = {termite, reactive synthesis, sat, qbf, interpolants},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8136.pdf},
    title            = {Interpolants in Two-Player Games},
    type             = {Abstract},
    year             = {2014}
  }