CLP(sigma*)

"CLP(sigma*): Constraint Logic Programming with Regular Sets", C. Walinsky, Proceedings of ICLP, 1989, pp.181-190.