O. Omelchenko and A. A. Bulatov, “Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution”, AAAI, vol. 36, no. 4, pp. 3804-3812, Jun. 2022.