Habib Abdulrab Solving word equations. 109-130 1990 24 ITA db/journals/ita/ita24.html#Abdulrab90