Non-tranformational termination analysis of logic programs, based on general term-orderings.

Alexander Serebrenik, Danny De Schreye

Browse the full LOPSTR paper archive.