G. Ausiello, G. F. Italiano, L. Laura, U. Nanni, and F. Sarracco, Classification and traversal algorithmic techniques for optimization problems on directed hyperpaths, Dipartimento di Informatica e Sistemistica " Antonio Ruberti, 2010.

R. Berke and M. Onsjö, Propagation Connectivity of Random Hypergraphs, Stochastic Algorithms: Foundations and Applications, SAGA, pp.117-126, 2009.
DOI : 10.1007/11940128_59

R. Berke and M. Onsjö, Propagation Connectivity of Random Hypergraphs, 2009.
DOI : 10.1007/11940128_59

[. Bollobás, Random Graphs. Cambridge Studies in Advanced Mathematics, 2001.

R. K. Fan, P. Chung, and . Horn, The spectral gap of a random subgraph of a graph, Internet Mathematics, vol.4, issue.2, pp.225-244, 2007.

A. Coja-oghlan, M. Onsjö, and O. Watanabe, Propagation Connectivity of Random Hypergraphs, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pp.490-503, 2010.
DOI : 10.1007/978-3-642-15369-3_37

E. Paul, T. J. Dunne, and . Bench-capon, A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses, J. Log. Algebr. Program, vol.47, issue.1, pp.1-14, 2001.

D. Demetrios, M. Y. Demopoulos, and . Vardi, The phase transition in the random HornSAT problem, Computational Complexity and Statistical Physics (Santa Fe Institute Studies in the Sciences of Complexity Proceedings), pp.195-220, 2006.

G. Istrate, The phase transition in random Horn satisfiability and its algorithmic implications . Random Struct, Algorithms, vol.20, issue.4, pp.483-506, 2002.

S. Janson, T. ?uczak, and A. Ruci´nskiruci´nski, Random Graphs. Wiley-Interscience Series in Discrete Mathematics and Optimization, 2000.

R. M. Karp, The transitive closure of a random digraph, Random Structures and Algorithms, vol.7, issue.1, pp.73-94, 1990.
DOI : 10.1002/rsa.3240010106

[. Langlois, D. Mubayi, R. H. Sloan, and G. Turán, Combinatorial Problems for Horn Clauses, Graph Theory, Computational Intelligence and Thought, pp.54-65, 2009.
DOI : 10.1017/CBO9780511814075

[. Moore, G. Istrate, D. D. Demopoulos, and M. Y. Vardi, A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Random Struct, Algorithms, issue.2, pp.31173-185, 2007.