A deterministic algorithm to decide if a finitely presented abelian monoid is cancellative | Publicación