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. 409-418 1989 18 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp18.html#BugraraPP89 http://dx.doi.org/10.1137/0218028