Deciding choreography realizability | Publicación