The decision problem for the probabilities of higher-order properties (1987)

by G Kolaitis, M Y Vardi
Venue:In STOC