Moe Thandar Wynn, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information \& Software Technology, 51(6):1010-1020, 2009. [doi]
Abstract is missing.