Automatic inference of specifications using matching logic | Publicación