Carvalho, Lucas, and Geraldo Xexéo.
" A Declarative Model for Social Deduction Games with Communication." <em>Anais Estendidos do XXV Simpósio Brasileiro de Jogos e Entretenimento Digital,
Goiânia/GO, 2026</em>. SBC, 2026,  
pp.159-164.