1. Dunne, P.E.: The Complexity of Boolean Networks. Academic Press, London (1988)
2. Goranko, V.: The Basic Algebra of Game Equivalences. In: Pauly, M., Sandhu, G. (eds.) ESSLLI Workshop on Logic and Games (2001)
3. Harrenstein, P.: Logic in Conflict – Logical Exploration in Strategic Equilibrium. Ph.D. dissertation, Dept. of Computer Science, Univ. of Utrecht (2004) (submitted)
4. Harrenstein, B.P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: Boolean Games. In: van Benthem, J. (ed.) Proc. 8th Conf. on Theoretical Aspects of Rationality and Knowledge (TARK 2001), pp. 287–298. Morgan-Kaufmann, San Francisco (2001)
5. Henkin, L.: Some remarks on infinitely long formulas. In: Infinistic Methods, pp. 167–183. Pergamon Press, Oxford (1961)