Bibtex:VDS09: Difference between revisions
Dean Voets (talk | contribs) Created page with ' <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->…' |
Dean Voets (talk | contribs) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
<!-- Please add the BibTeX data below this comment. --> | <!-- Please add the BibTeX data below this comment. --> | ||
<bibtex> | <bibtex> | ||
author = {Voets | @inproceedings{VDS09, | ||
author = {Dean Voets and Danny De Schreye}, | |||
title = {A New Approach to Non-termination Analysis of Logic Programs}, | title = {A New Approach to Non-termination Analysis of Logic Programs}, | ||
booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming}, | 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}, | doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21}, | ||
publisher = {Springer-Verlag}, | 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. --> | </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | ||
Latest revision as of 15:22, 5 July 2010
BibTex
<bibtex> @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},
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>