Ina Kraan David A. Basin Alan Bundy Middle-Out Reasoning for Synthesis and Induction. 113-145 1996 16 J. Autom. Reasoning 1-2 db/journals/jar/jar16.html#KraanBB96