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