CLP(sigma*)

A constraint logic programming language with regular sets.

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