http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3AVDS10Bibtex:VDS10 - Revision history2026-05-08T13:56:11ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS10&diff=1116&oldid=prevDean Voets: Created page with ' <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->…'2010-07-05T15:29:12Z<p>Created page with '<a href="/wiki/Category:Bibtex" title="Category:Bibtex"> </a> <a href="/mediawiki/index.php?title=Category:BibtexNews&action=edit&redlink=1" class="new" title="Category:BibtexNews (page does not exist)"> </a> <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->…'</p>
<p><b>New page</b></p><div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{VDS10,<br />
author = {Dean Voets and Danny De Schreye},<br />
title = {Non-termination Analysis of Logic Programs using Types},<br />
booktitle = {LOPSTR 2010, to appear},<br />
year = {2010},<br />
pages = {?},<br />
note = {accepted for publication}<br />
}<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Dean Voets