S. Vágvölgyi, “On ground word problem of term equation systems”, Acta Cybern, vol. 22, no. 2, pp. 517-551, Jan. 2015.