%0 Conference Paper %1 conf/lopstr/BoulangerB92 %A Boulanger, Dmitri %A Bruynooghe, Maurice %B LOPSTR %D 1992 %E Lau, Kung-Kiu %E Clement, Tim %I Springer %K dblp %P 99-117 %T Deriving Transformations for Logic Programs Using Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr92.html#BoulangerB92 %@ 0-387-19806-7

@inproceedings{conf/lopstr/BoulangerB92, added-at = {2019-06-21T00:00:00.000+0200}, author = {Boulanger, Dmitri and Bruynooghe, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/2fb5eab350c54277738a6cd740b224f7b/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1992}, editor = {Lau, Kung-Kiu and Clement, Tim}, ee = {https://doi.org/10.1007/978-1-4471-3560-9_8}, interhash = {16dd40e1206d4a89769d7296f838893e}, intrahash = {fb5eab350c54277738a6cd740b224f7b}, isbn = {0-387-19806-7}, keywords = {dblp}, pages = {99-117}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-22T11:38:44.000+0200}, title = {Deriving Transformations for Logic Programs Using Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr92.html#BoulangerB92}, year = 1992 }