H. Albert Lilly Barrett R. Bryant A Prescribed Cut for Prolog that Ensures Soundness. 287-339 1992 14 J. Log. Program. 3&4 db/journals/jlp/jlp14.html#LillyB92