%0 Conference Paper %1 conf/stacs/WangS91 %A Wang, Bal %A Shyamasundar, R. K. %B STACS %D 1991 %E Choffrut, Christian %E Jantzen, Matthias %I Springer %K dblp %P 214-227 %T Methodology for Proving the Termination of Logic Programs. %U http://dblp.uni-trier.de/db/conf/stacs/stacs91.html#WangS91 %V 480 %@ 3-540-53709-0

@inproceedings{conf/stacs/WangS91, added-at = {2017-05-19T00:00:00.000+0200}, author = {Wang, Bal and Shyamasundar, R. K.}, biburl = {https://www.bibsonomy.org/bibtex/29c7000113c5d2ec757ccea8e3444120a/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1991}, editor = {Choffrut, Christian and Jantzen, Matthias}, ee = {https://doi.org/10.1007/BFb0020800}, interhash = {fc2fb4369d85ea44ffe226937766b5cb}, intrahash = {9c7000113c5d2ec757ccea8e3444120a}, isbn = {3-540-53709-0}, keywords = {dblp}, pages = {214-227}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:19.000+0200}, title = {Methodology for Proving the Termination of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs91.html#WangS91}, volume = 480, year = 1991 }