Exponential Average Time for the Pure Literal Rule

Khaled M. Bugrara, Youfang Pan, Paul Walton Purdom Jr.. Exponential Average Time for the Pure Literal Rule. SIAM Journal on Computing, 18(2):409-418, 1989.

Abstract

Abstract is missing.