Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.

Frank S. de Boer Maurizio Gabbrielli Catuscia Palamidessi Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. 83-97 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#BoerGP96