Indipendence of the Computation Rule for SLD-derivation with delay.

Published in: ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)