Unification of Infinite Sets of Terms Schematized by Primal Grammars. - Miki Hermann; Roman Galbavý (Theor. Comput. Sci., 1997)