Selecting Complementary Pairs of Literals. - Alexis C. Kaporis; Lefteris M. Kirousis; Efthimios G. Lalas (Electron. Notes Discret. Math., 2003)

The probabilistic analysis of a greedy satisfiability algorithm. - Alexis C. Kaporis; Lefteris M. Kirousis; Efthimios G. Lalas (Random Struct. Algorithms, 2006)