%0 Journal Article %1 journals/jar/KraanBB96 %A Kraan, Ina %A Basin, David A. %A Bundy, Alan %D 1996 %J J. Autom. Reasoning %K dblp %N 1-2 %P 113-145 %T Middle-Out Reasoning for Synthesis and Induction. %U http://dblp.uni-trier.de/db/journals/jar/jar16.html#KraanBB96 %V 16

@article{journals/jar/KraanBB96, added-at = {2011-05-19T00:00:00.000+0200}, author = {Kraan, Ina and Basin, David A. and Bundy, Alan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22281d32100d189367ee6b3fbe55c44be/dblp}, ee = {http://dx.doi.org/10.1007/BF00244461}, interhash = {2b43ca0d2c3c976214d29310c36e79dd}, intrahash = {2281d32100d189367ee6b3fbe55c44be}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = {1-2}, pages = {113-145}, timestamp = {2016-02-02T09:57:46.000+0100}, title = {Middle-Out Reasoning for Synthesis and Induction.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar16.html#KraanBB96}, volume = 16, year = 1996 }