Exponential Average Time for the Pure Literal Rule. - Khaled M. Bugrara; Youfang Pan; Paul Walton Purdom Jr. (SIAM J. Comput., 1989)