Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier. Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. Electronic Notes in Theoretical Computer Science, 48:29-44, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.