@misc{indiciae5f555861255a, title = {Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes}, author = {Antonis Achilleos and Aggeliki Chalki}, year = {2023}, url = {https://arxiv.org/abs/2304.10334}, note = {Source identifier: 2304.10334} }