Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.

Uwe Bubeck, Hans Kleine Bning, Xishun Zhao

Browse the full SAT paper archive.