Confluence in concurrent constraint programming
scientific article; zbMATH DE number 1177751