Analysis and Transformation of Constrained Horn Clauses for Program Verification | Publicación