Abdulla, P. A., Atig, M. F., Cailler, J., Liang, C., & Rümmer, P. Guiding Word Equation Solving Using Graph Neural Networks [Computer software]. https://doi.org/10.1007/978-3-031-78709-6_14