Bibtex:VDS09

From Termination-Portal.org
Revision as of 15:22, 5 July 2010 by Dean Voets (talk | contribs) (→‎BibTex)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

BibTex

Dean Voets, Danny De Schreye - A New Approach to Non-termination Analysis of Logic Programs

ICLP '09: Proceedings of the 25th International Conference on Logic Programming pp. 220--234, Berlin, Heidelberg,2009
Bibtex
Author : Dean Voets, Danny De Schreye
Title : A New Approach to Non-termination Analysis of Logic Programs
In : ICLP '09: Proceedings of the 25th International Conference on Logic Programming -
Address : Berlin, Heidelberg
Date : 2009