%0 Conference Paper %1 conf/saig/SongF00 %A Song, Litong %A Futamura, Yoshihiko %B SAIG %D 2000 %E Taha, Walid %I Springer %K dblp %P 72-91 %T A New Termination Approach for Specialization. %U http://dblp.uni-trier.de/db/conf/saig/saig2000.html#SongF00 %V 1924 %@ 3-540-41054-6

@inproceedings{conf/saig/SongF00, added-at = {2017-05-21T00:00:00.000+0200}, author = {Song, Litong and Futamura, Yoshihiko}, biburl = {https://www.bibsonomy.org/bibtex/2530637269478a3807f526b1aee4751db/dblp}, booktitle = {SAIG}, crossref = {conf/saig/2000}, editor = {Taha, Walid}, ee = {https://doi.org/10.1007/3-540-45350-4_8}, interhash = {80b4c0a94c7ded544b6b281034b4ffba}, intrahash = {530637269478a3807f526b1aee4751db}, isbn = {3-540-41054-6}, keywords = {dblp}, pages = {72-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:45:47.000+0200}, title = {A New Termination Approach for Specialization.}, url = {http://dblp.uni-trier.de/db/conf/saig/saig2000.html#SongF00}, volume = 1924, year = 2000 }