@inproceedings{8005150,
    Author = {Arenas, Marcelo and Mu{\\textasciitilde n}oz, Martin and Riveros, Cristian},
    BookTitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    File = {DESCRIPTIVE COMPLEXITY FOR COUNTING COMPLEXITY CLASSES - 1805.02724.pdf},
    Pages = {1-12},
    Title = {Descriptive Complexity for counting complexity classes},
    Year = {2017},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2017.8005150},
    date-added = {2022-07-01 12:43:06 +0200},
    date-modified = {2022-07-01 12:43:06 +0200},
    doi = {10.1109/LICS.2017.8005150}
}

@inproceedings{8005150, Author = {Arenas, Marcelo and Mu{\textasciitilde n}oz, Martin and Riveros, Cristian}, BookTitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, File = {DESCRIPTIVE COMPLEXITY FOR COUNTING COMPLEXITY CLASSES - 1805.02724.pdf}, Pages = {1-12}, Title = {Descriptive Complexity for counting complexity classes}, Year = {2017}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2017.8005150}, date-added = {2022-07-01 12:43:06 +0200}, date-modified = {2022-07-01 12:43:06 +0200}, doi = {10.1109/LICS.2017.8005150} }