Indipendence of the Computation Rule for SLD-derivation with delay.
Michel Bergre, Grard Ferrand, Jean-Hugues Rty
VenueBICLP
Year1994
ProceedingsICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
DBLP recordconf/iclp/BergereFR94 ↗
Browse the full ICLP paper archive.