_id,doi,title
3165,10.1137/1.9781611973099.109,An O(n2) time algorithm for alternating Büchi games