Inferring termination conditions for logic programs using backwards analysis
- Genaim, S.
- Codish, M.
ISSN: 1471-0684
Year of publication: 2005
Volume: 5
Issue: 1-2
Pages: 75-91
Type: Review
ISSN: 1471-0684
Year of publication: 2005
Volume: 5
Issue: 1-2
Pages: 75-91
Type: Review