Random Horn Formulas and Propagation Connectivity for Directed Hypergraphs. - Sloan, Robert H.; Stasi, Despina; Tur´n, György (Discrete Mathematics & Theoretical Computer Science (DMTCS), 2012)