Exponential average time for the pure literal rule (1989)

by K M Bugrara, Y F Pan, P Purdom
Venue:SIAM Journal on Computing