ACM - Normas
Phokion G. Kolaitis
Swastik Kopparty
Journal of the ACM
On almost sure elimination of numerical quantifiers
Generalized quantifiers and pebble games on finite structures
The decision problem for the probabilities of higher-order properties
0–1 Laws and decision problems for fragments of second-order logic
Coherence and complexity in fragments of dependence logic
The 0-1 law fails for the class of existential second order Godel sentences with equality