1 January 2001

The journal article “Operational semantics for reexecution-based analysis of logic programs with delay declarations”, by Cortesi, A., Rossi, S., Le Charleir, B., has just been published in “Electronic Notes in Theoretical Computer Science”! Available here.