The probability of pure literals (1999)

by J Rosenthal, J Plotkin, J Franco
Venue:Journal of Computational Logic