_id,doi,title
5379,10.15479/AT:IST-2011-0009,An O(n2) time algorithm for alternating Büchi games