On the complexity of the Leibniz hierarchy | Publicación