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