Wavefront Techniques for Recursive Logic Programs.

Dietmar Seipel Hans Argenton Wavefront Techniques for Recursive Logic Programs. 116-125 1992 Workshop on Deductive Databases, JICSLP db/conf/deductive/deductive92.html#SeipelA92