A System for Querying and Viewing Business Constraints. - Mizuho Iwaihara; Masayuki Kozawa; Jun Narazaki; Yahiko Kambayashi (RuleML, 2002)