Encoding process discovery problems in SMT | Publicación