L. Carvalho and G. Xexéo. " A Declarative Model for Social Deduction Games with Communication", in Anais Estendidos do XXV Simpósio Brasileiro de Jogos e Entretenimento Digital, Goiânia/GO, 2026, pp. 159-164, doi: https://doi.org/10.5753/sbgames_estendido.2026.25949.