CARVALHO, Lucas Araujo; XEXÉO, Geraldo. A Declarative Model for Social Deduction Games with Communication. In: COMPUTING TRACK – SHORT PAPERS - BRAZILIAN SYMPOSIUM ON COMPUTER GAMES AND DIGITAL ENTERTAINMENT (SBGAMES), 25. , 2026, Goiânia/GO. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 165-170. DOI: https://doi.org/10.5753/sbgames_estendido.2026.25949.