Synthesizing constraint expressions (1978)

by E C Freuder
Venue:Communications of the ACM