BibTeX record series/wsscs/WangS89

download as .bib file

@incollection{DBLP:series/wsscs/WangS89,
  author    = {Bal Wang and
               R. K. Shyamsundar},
  editor    = {R. Narasimhan},
  title     = {Proving Termination of Logic Programs},
  booktitle = {A Perspective in Theoretical Computer Science - Commemorative Volume
               for Gift Siromoney},
  series    = {World Scientific Series in Computer Science},
  volume    = {16},
  pages     = {380--397},
  publisher = {World Scientific},
  year      = {1989},
  url       = {https://doi.org/10.1142/9789814368452\_0021},
  doi       = {10.1142/9789814368452\_0021},
  timestamp = {Tue, 16 May 2017 14:24:25 +0200},
  biburl    = {https://dblp.org/rec/series/wsscs/WangS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics