Rule Based Business Process Compliance. - Guido Governatori; Sidney Shek (RuleML (2), 2012)

Regorous: a business process compliance checker. - Guido Governatori; Sidney Shek (ICAIL, 2013)