Liquid Types for Array Invariant Synthesis | Publicación