Yongsun Choi. A Two Phase Verification Algorithm for Cyclic Workflow Graphs. In Jian Chen, editor, The Fourth International Conference on Electronic Business - Shaping Business Strategy in a Networked World. pages 137-143, Academic Publishers/World Publishing Corporation, 2004.