cTI: a constraint-based termination inference tool for ISO-Prolog
From MaRDI portal
Publication:4673545
DOI10.1017/S1471068404002017zbMath1093.68559MaRDI QIDQ4673545
Publication date: 29 April 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N17: Logic programming