1. Mending the Lag Between Commercial Needs and Research Prototypes: A Logic-Based Workflow Verification Approach;H H Bi;Proceedings of the 8 th INFORMS Computing Society Conference,2003
2. Applying Propositional Logic to Workflow Verification;H H Bi;Information Technology and Management,2004
3. An Overview of Transaction Logic;A J Bonner;Theoretical Computer Science,1994
4. Handling Cycles in Workflow Verification by Feedback Identification and Partition;Y Choi;Proceedings of the 2003 International Conference on Information and Knowledge Engineering,2002