International Conference on Numerical Analysis and Applied Mathematics, Rhodes, Greece, 19 - 25 September 2010, vol.1281, pp.1121-1123
In this paper we give necessary and sufficient conditions for the efficiency of a standard presentation for the semi-direct product of finite cyclic monoids by one-relator monoids.