Middle-out reasoning for synthesis and induction - Kraan, Ina; Basin, David; Bundy, Alan (University <Edinburgh>, 1995)