@misc{indiciaeabb12e88ab2e,
  title = {The phase transition in random Horn satisfiability and its algorithmic implications},
  author = {Gabriel Istrate},
  year = {1999},
  url = {https://arxiv.org/abs/cs/9912001},
  note = {Source identifier: cs/9912001}
}