A General Upper Bound for the Satisfiability Threshold of Random r-SAT Formulae. - O. Dubios; Yacine Boufkhad (J. Algorithms, 1997)