Rocha, T., & 		Martins, A.
2016 jul  4.  Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers. Anais do Encontro de Teoria da Computação (ETC). [Online] :