Asymptotic conditional probabilities for rst-order logic (1992)

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