Difference between revisions of "Bibtex:VDS09"

Latest revision as of 15:22, 5 July 2010

Dean Voets, Danny De Schreye - A New Approach to Non-termination Analysis of Logic Programs

ICLP '09: Proceedings of the 25th International Conference on Logic Programming pp. 220--234, Berlin, Heidelberg,2009

Author : Dean Voets, Danny De Schreye
Title : A New Approach to Non-termination Analysis of Logic Programs
In : ICLP '09: Proceedings of the 25th International Conference on Logic Programming -
Address : Berlin, Heidelberg
Date : 2009

@@ Line 4: / Line 4: @@
 <!-- Please add the BibTeX data below this comment. -->
 <bibtex>
-  author = {Voets, Dean and Schreye, Danny},
+@inproceedings{VDS09,
+  author = {Dean Voets and Danny De Schreye},
   title = {A New Approach to Non-termination Analysis of Logic Programs},
   booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming},
@@ Line 13: / Line 14: @@
   doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21},
   publisher = {Springer-Verlag},
-  address = {Berlin, Heidelberg},
+  address = {Berlin, Heidelberg}
+ }
 </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->