Springer
doi.org/10.1007/978-3-642-14977-1
Lecture Notes in Computer Science
International Workshop on Computational Logic in Multi-Agent Systems
Networks and Optimization

Zvesper, J., & Apt, K. (2010). Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. In CLIMA XI (pp. 186–199). Springer. doi:10.1007/978-3-642-14977-1