Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.
Alexander Serebrenik, Danny De Schreye
VenueCLOPSTR
Year2000
ProceedingsLOPSTR (LNCS 2042: Selected Papers)
DBLP recordconf/lopstr/SerebrenikS00a ↗
Browse the full LOPSTR paper archive.