Asymptotic conditional probabilities for firstorder logic (1992)

by A J Grove, J Y Halpern, D Koller
Venue:in Proc. 24th ACM Symp. on Theory of Computing