Vágvölgyi, Sándor. 2015. “On Ground Word Problem of Term Equation Systems”. Acta Cybernetica 22 (2), 517-51. https://doi.org/10.14232/actacyb.22.2.2015.16.