1. Implementation of Makanin's algorithm;Abdulrab,1992
2. LOP: toward a new implementation of Makanin's algorithm;Abdulrab,1993
3. Solving word equations;Abdulrab;J. Symb. Comput.,1989
4. A word equation solver based on Levensthein distance;Alonso,2007
5. A partial evaluation framework for order-sorted equational programs modulo axioms;Alpuente;J. Log. Algebraic Methods Program.,2020