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

by G Kolaitis, M Y Vardi
Venue:In Proc. 19th ACM Symp. on Theory of Computing