I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Solving Existentially Quantified Horn Clauses

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}
}

This work is not available online here.