Bibtex:VDS09

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>