Andreas Kuehlmann Lukas P. P. P. van Ginneken Grammar-Based Optimization of Synthesis Scenarios. 20-25 1994 conf/iccd/1994 ICCD db/conf/iccd/iccd1994.html#KuehlmannG94