@misc {IOPORT.70824160,
    author       = {Moore, Cristopher and Istrate, Gabriel and Demopoulos, Demetrios D. and Vardi, Moshe Y.},
    title        = {A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas},
    howpublished = {APPROX-RANDOM, 414-425 (2005).},
    year         = {2005},
    doi          = {10.1007/11538462_35},
    identifier   = {70824160},
}