An Algorithm Combining Graph-Reduction and Graph-Search for Workflow Graphs Verification | IEEE Conference Publication | IEEE Xplore