Peng Su, Dan Zhu, Daniel Dajun Zeng: A new pruning method for resolving conflicts in actionable behavioral rules. ISI 2013: 274