T. Rocha and A. Martins.
" Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers", in <em>Anais do I Encontro de Teoria da Computação</em>, Porto Alegre, 2016, pp. 788-791, doi: <a href="https://doi.org/10.5753/etc.2016.9766">https://doi.org/10.5753/etc.2016.9766</a>.