%0 Book Section %1 series/wsscs/WangS89 %A Wang, Bal %A Shyamsundar, R. K. %B A Perspective in Theoretical Computer Science %D 1989 %E Narasimhan, R. %I World Scientific %K dblp %P 380-397 %T Proving Termination of Logic Programs. %U http://dblp.uni-trier.de/db/series/wsscs/wsscs16.html#WangS89 %V 16 %@ 978-981-4507-35-6

@incollection{series/wsscs/WangS89, added-at = {2015-07-13T00:00:00.000+0200}, author = {Wang, Bal and Shyamsundar, R. K.}, biburl = {https://www.bibsonomy.org/bibtex/2d2c6e357fa44c7bbc785d07f5833475b/dblp}, booktitle = {A Perspective in Theoretical Computer Science}, crossref = {series/wsscs/16}, editor = {Narasimhan, R.}, ee = {http://dx.doi.org/10.1142/9789814368452_0021}, interhash = {6f7a1104bd64368354c3f55ab58eef3f}, intrahash = {d2c6e357fa44c7bbc785d07f5833475b}, isbn = {978-981-4507-35-6}, keywords = {dblp}, pages = {380-397}, publisher = {World Scientific}, series = {World Scientific Series in Computer Science}, timestamp = {2015-07-14T11:34:34.000+0200}, title = {Proving Termination of Logic Programs.}, url = {http://dblp.uni-trier.de/db/series/wsscs/wsscs16.html#WangS89}, volume = 16, year = 1989 }