The logic of games and its applications (1985)

by H Parikh
Venue:Topics in the Theory of Computation, volume 24 of Annals of Discrete Mathematics