_id,doi,title
2141,10.1145/2597631,Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition