Automatic Inference of Specifications in the K Framework | Publicación