Inferring termination conditions for logic programs using backwards analysis
- Genaim, S.
- Codish, M.
ISSN: 1471-0684
Año de publicación: 2005
Volumen: 5
Número: 1-2
Páginas: 75-91
Tipo: Revisión
Revista:
Theory and Practice of Logic Programming