Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.

Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi

Browse the full SAS paper archive.