Tree dimension in verification of constrained Horn clauses | Publicación