Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.

Maurizio Gabbrielli Giorgio Levi Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. 204-216 1990 conf/alp/1990 ALP db/conf/alp/alp90.html#GabbrielliL90 http://dx.doi.org/10.1007/3-540-53162-9_40