On groups having finite monadic church-rosser presentations