Termination of Logic Programs with Delay Declarations.

Elena Marchiori Frank Teusink Termination of Logic Programs with Delay Declarations. 95-124 1999 39 J. Log. Program. 1-3 db/journals/jlp/jlp39.html#MarchioriT99