Bibtex:VDS09 - Revision history

Dean Voets: /* BibTex */

2010-07-05T15:22:26Z

BibTex

Dean Voets: /* BibTex */

2010-07-05T15:21:48Z

BibTex

Dean Voets: Created page with ' == BibTex == …'

2010-07-05T15:20:04Z

Created page with '  == BibTex == …'

New page

[[Category:Bibtex| ]]
[[Category:BibtexNews| ]] 
== BibTex ==

<bibtex>
author = {Voets, Dean and Schreye, Danny},
title = {A New Approach to Non-termination Analysis of Logic Programs},
booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming},
year = {2009},
isbn = {978-3-642-02845-8},
pages = {220--234},
location = {Pasadena, CA},
doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
</bibtex>

@@ Line 5: / Line 5: @@
 <bibtex>
 @inproceedings{VDS09,
-  author = {Voets, Dean and Schreye, Danny},
+  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 4: / Line 4: @@
 <!-- Please add the BibTeX data below this comment. -->
 <bibtex>
   author = {Voets, Dean and Schreye, Danny},
   title = {A New Approach to Non-termination Analysis of Logic Programs},
@@ 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. -->