Superposition with completely built-in Abelian groups | Publicación