Reference:

Tewodros Beyene, Corneliu Popeea, and Andrey Rybalchenko. Solving existentially quantified Horn clauses. In CAV, July 2013.

Suggested BibTeX entry:

@inproceedings{BeyeneCAV13,
    author = {Tewodros Beyene and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {CAV},
    month = {July},
    title = {Solving Existentially Quantified {H}orn Clauses},
    year = {2013}
}