Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi. A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Random Struct. Algorithms, 31(2):173-185, 2007. [doi]
Abstract is missing.