T. Rocha and A. Martins.
" Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers", in <em>Proceedings of the 1st Theory of Computation Meeting</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>.