Inferring termination conditions for logic programs using backwards analysis
- Genaim, S.
- Codish, M.
ISSN: 1471-0684
Année de publication: 2005
Volumen: 5
Número: 1-2
Pages: 75-91
Type: Révision
Revue:
Theory and Practice of Logic Programming