Paper accepted in JSS

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