Unfolding and fixpoint semantics of concurrent constraint logic programs - Gabbrielli, Maurizio; Levi, Giorgio 1942- (Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report, 1991)