An Algebraic Semantics of Prolog Program Termination.

Brian J. Ross, Alan Smaill

Browse the full ICLP paper archive.