Rocha, Thiago, and Ana Teresa Martins.
"Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers." <em>Anais do I Encontro de Teoria da Computação,
Porto Alegre, 2016</em>. SBC, 2016,  
pp.788-791.