_id,doi,title
1661,10.1109/LICS.2015.34,Improved algorithms for one-pair and k-pair Streett objectives