An Abstract Interpretation Approach to Termination of Logic Programs.

Roberta Gori

Browse the full LPAR paper archive.