Synthesizing constraint expressions (1978)

by E C FREUDER
Venue:Communications of the ACM