Inferring termination conditions for logic programs using backwards analysis
- Genaim, S.
- Codish, M.
ISSN: 1471-0684
Any de publicació: 2005
Volum: 5
Número: 1-2
Pàgines: 75-91
Tipus: Revisió
Revista:
Theory and Practice of Logic Programming