TY  - RPRT
TI  - The phase transition in random Horn satisfiability and its algorithmic implications
AU  - Gabriel Istrate
PY  - 1999
UR  - https://arxiv.org/abs/cs/9912001
ID  - cs/9912001
ER  -