BibTeX record conf/slp/JacobsL89

download as .bib file

@inproceedings{DBLP:conf/slp/JacobsL89,
  author    = {Dean Jacobs and
               Anno Langen},
  title     = {Accurate and Efficient Approximation of Variable Aliasing in Logic
               Programs},
  booktitle = {{NACLP}},
  pages     = {154--165},
  publisher = {{MIT} Press},
  year      = {1989}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics