Strategy construction in in nite games with strett and rabin chain winning conditions (1996)

by N Buhrke, H Lescow, J Voge
Venue:In TACAS 96, volume 1055 of Lect. Notes in Comp. Sci