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


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

Suggested BibTeX entry:

    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.