Vágvölgyi, S. 2015. On ground word problem of term equation systems. Acta Cybernetica. 22, 2 (Jan. 2015), 517-551. DOI:https://doi.org/10.14232/actacyb.22.2.2015.16.