Group-theoretic orbit decidability | Publicación