Synthesizing constraint expressions (1978)

by E C Freuder
Venue:Comm. ACM