Bibtex:VDS10

BibTex

<bibtex> @inproceedings{VDS10,

 author = {Dean Voets and Danny De Schreye},
 title     = {Non-termination Analysis of Logic Programs using Types},
 booktitle = {LOPSTR 2010, to appear},
 year      = {2010},
 pages     = {?},
 note      = {accepted for publication}

} </bibtex>