Prenex fragment of first-order intuitionistic logic and word unification

I will recall an old result by Gurevich and Voronkov connecting the monadic case in the prenex intuitionistic predicate logic with equality with word unification.