Automated Synthesis of Constrained Generators. - Wesley Braudaway; Chris Tong (IJCAI, 1989)