Bibtex:VDS09: Difference between revisions
Dean Voets (talk | contribs) |
Dean Voets (talk | contribs) |
||
| Line 5: | Line 5: | ||
<bibtex> | <bibtex> | ||
@inproceedings{VDS09, | @inproceedings{VDS09, | ||
author = {Voets | 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}, | ||
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>