Restricted AND-Parallelism Execution Model with Side-Effects.

Si-En ChangY. Paul Chiang
Published in: NACLP (1989)