Gopal Gupta Manuel V. Hermenegildo Vítor Santos Costa And-Or Parallel Prolog: A Recomputation Based Approach. 297-321 1993 11 New Generation Comput. 3 db/journals/ngc/ngc11.html#GuptaHC93