Millroth. Sldr-resolution: Parallelizing Structural Recursion in Logic Programs. Elsevier BV, 1995, doi:10.1016/0743-1066(95)00036-j.