Operational Semantics of Constraint Logic Programs with Coroutining.

Andreas Podelski, Gert Smolka

Browse the full ICLP paper archive.