On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids.