@misc{indiciaef53ffd7f0d15,
  title = {Lemma Generation for Horn Clause Satisfiability: A Preliminary Study},
  author = {Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
  year = {2019},
  doi = {10.4204/eptcs.299.4},
  url = {https://arxiv.org/abs/1908.07188},
  note = {Source identifier: 1908.07188}
}