Termination of Logic Programs with Delay Declarations

Elena Marchiori, Frank Teusink. Termination of Logic Programs with Delay Declarations. Journal of Logic and Algebraic Programming, 39(1-3):95-124, 1999.

Abstract

Abstract is missing.