And-Or Parallel Prolog: A Recomputation Based Approach (1993)

by G Gupta, M Hermenegildo, Santos Costa, V
Venue:New Generation Computing