BibTeX record series/wsscs/WangS89

download as .bib file

@incollection{DBLP:series/wsscs/WangS89,
  author    = {Bal Wang and
               R. K. Shyamsundar},
  title     = {Proving Termination of Logic Programs},
  booktitle = {A Perspective in Theoretical Computer Science},
  series    = {World Scientific Series in Computer Science},
  volume    = {16},
  pages     = {380--397},
  publisher = {World Scientific},
  year      = {1989}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics