Inferring termination conditions for logic programs using backwards analysis

  1. Genaim, S.
  2. Codish, M.
Journal:
Theory and Practice of Logic Programming

ISSN: 1471-0684

Year of publication: 2005

Volume: 5

Issue: 1-2

Pages: 75-91

Type: Review

DOI: 10.1017/S1471068404002236 GOOGLE SCHOLAR