The Science, Art, and Magic of Constrained Horn Clauses.

Arie Gurfinkel, Nikolaj S. Bjrner

Browse the full SYNASC paper archive.