_id,doi,title
2246,10.1016/j.tcs.2013.11.032,Alternating traps in Muller and parity games