Janssen, T. M. A Compositional Semantic for the Game-Theoretical Interpretation of Logic. Proceedings of the AC 1997, 181-185.