H Chen, S Mengel - 2017 32nd Annual ACM/IEEE Symposium …, 2017 - ieeexplore.ieee.org
We consider the problem of counting the number of answers to a first-order formula on a
finite structure. We present and study an extension of first-order logic in which algorithms for …