Declarative Rules for Inferring Fine-Grained Data Provenance from Scientific Workflow Execution Traces · Study