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. CLIMA XI, 186–199.https://doi.org/10.1007/978-3-642-14977-1