Bibtex:VDS09

From Termination-Portal.org
Jump to navigationJump to search

BibTex

Voets, Dean, Schreye, Danny - 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 : Voets, Dean, Schreye, Danny
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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS09&oldid=1114"