SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs.

Håkan Millroth SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs. 93-117 1995 25 J. Log. Program. 2 db/journals/jlp/jlp25.html#Millroth95