On Solving Universally Quantified Horn Clauses.

Nikolaj S. Bjrner, Kenneth L. McMillan, Andrey Rybalchenko

Browse the full SAS paper archive.