Amaresh Chakrabarti Improving efficiency of procedures for compositional synthesis by using bidirectional search. 67-80 2001 15 AI EDAM 1 db/journals/aiedam/aiedam15.html#Chakrabarti01