Termination of Logic Programs Using Semantic Unification.

Thomas Arts, Hans Zantema

Browse the full LOPSTR paper archive.