Neveu's martingale conditions and closedness in dynkin stopping problem with a finite constraint

Bismut, 1977, Sur un probleme de Dynkin, Z. Wahrsch. Verw. Gebiete, 39, 31, 10.1007/BF01844871 Chow, 1963, On optimal stopping rules, Z. Wahrsch. Verw. Gebiete, 2, 33, 10.1007/BF00535296 Dynkin, 1969, Game variant of a problem on optimal stopping, Soviet Math. Dokl., 10, 270 Elbakidze, 1976, Construction of the cost and optimal policies in a game problem of stopping a Markov process, Theor. Prob. Appl., 21, 163, 10.1137/1121016 Krylov, 1971, Control of Markov processes and W-spaces, Math. USSR-Izv., 5, 233, 10.1070/IM1971v005n01ABEH001040 Lepeltier, 1984, Le jeu de Dynkin en theorie generale sans l'hypotheses de Mokobodski, Stochastics, 13, 25, 10.1080/17442508408833309 Neveu, 1975 Y. Ohtsubo, Optimal stopping in sequential games with or without a constraint of always terminating, to appear in Math. Oper. Res. Stettner, 1984, On closedness of general zero-sum stopping game, Bull. Polish Acad. Sci. Math., 32, 351