Termination Detection in Logic Programs using Argument Sizes.

Kirack Sohn, Allen Van Gelder

Browse the full PODS paper archive.