We are proud that our paper about a symbolic algorithm for the case-split rule in solving word constraints has been accepted in JSS.