@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}, year = {2014} }