Automated discovery of declarative process models with correlated data conditions. (March 2020)