%0 Journal Article %1 journals/siamcomp/ChangLD73 %A Chang, Chin-Liang %A Lee, Richard C. T. %A Dixon, John K. %D 1973 %J SIAM J. Comput. %K dblp %N 1 %P 7-15 %T The Specialization of Programs by Theorem Proving. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp2.html#ChangLD73 %V 2

@article{journals/siamcomp/ChangLD73, added-at = {2011-02-01T00:00:00.000+0100}, author = {Chang, Chin-Liang and Lee, Richard C. T. and Dixon, John K.}, biburl = {https://www.bibsonomy.org/bibtex/21d599518d13c5c1839e30838c9c6ce42/dblp}, ee = {http://dx.doi.org/10.1137/0202002}, interhash = {7f56a002a9f3f22958789ed765e76c6d}, intrahash = {1d599518d13c5c1839e30838c9c6ce42}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 1, pages = {7-15}, timestamp = {2011-04-29T15:07:18.000+0200}, title = {The Specialization of Programs by Theorem Proving.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp2.html#ChangLD73}, volume = 2, year = 1973 }