Manish Kumar Anand Shawn Bowers Bertram Ludäscher A navigation model for exploring scientific workflow provenance graphs. 2009 SC-WORKS http://doi.acm.org/10.1145/1645164.1645166 conf/sc/2009works db/conf/sc/works2009.html#AnandBL09