Journal article published in "Electronic Notes in Theoretical Computer Science"!
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.