Gopal Gupta Manuel V. Hermenegildo Vítor Santos Costa Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. 0- 1992 IJCSLP Workshop on Concurrent and Parallel Implementations db/conf/iclp/iclp92-w6.html#GuptaHC92