The grand loop semantics for logic programs.

Eric Wegrzynowski Jean-Paul Delahaye The grand loop semantics for logic programs. 87-106 1992 conf/jfplc/1992 JFPL db/conf/jfplc/jfpl1992.html#WegrzynowskiD92