%0 Book Section %1 books/sp/cstoday95/BruynoogheCM95 %A Bruynooghe, Maurice %A Codish, Michael %A Mulkers, Anne %B Computer Science Today %D 1995 %E van Leeuwen, Jan %I Springer %K dblp %P 406-425 %T Abstracting Unification: A Key Step in the Design of Logic Program Analyses. %U http://dblp.uni-trier.de/db/books/collections/CStoday.html#BruynoogheCM95 %V 1000 %@ 3-540-60105-8

@incollection{books/sp/cstoday95/BruynoogheCM95, added-at = {2017-05-16T00:00:00.000+0200}, author = {Bruynooghe, Maurice and Codish, Michael and Mulkers, Anne}, biburl = {https://www.bibsonomy.org/bibtex/21df9e1239eaa650a380beb4366b14716/dblp}, booktitle = {Computer Science Today}, crossref = {books/sp/CStoday1995}, editor = {van Leeuwen, Jan}, ee = {https://doi.org/10.1007/BFb0015257}, interhash = {fae138f56db53121a53b022188c234dd}, intrahash = {1df9e1239eaa650a380beb4366b14716}, isbn = {3-540-60105-8}, keywords = {dblp}, pages = {406-425}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:53:23.000+0200}, title = {Abstracting Unification: A Key Step in the Design of Logic Program Analyses.}, url = {http://dblp.uni-trier.de/db/books/collections/CStoday.html#BruynoogheCM95}, volume = 1000, year = 1995 }