Synthesizing Constraint Expressions (1978)

by E Freuder
Venue:Comm. ACM