Peng Sun Ziyang Liu Susan B. Davidson Yi Chen Detecting and resolving unsound workflow views for correct provenance analysis. 549-562 2009 SIGMOD Conference http://doi.acm.org/10.1145/1559845.1559903 conf/sigmod/2009 db/conf/sigmod/sigmod2009.html#SunLDC09