Rui Kimura Takayuki Shiga Mizuho Iwaihara Search Experiment of Business-Rule by Dynamic Constraint Algebra. 1272 2005 ICDE Workshops http://doi.ieeecomputersociety.org/10.1109/ICDE.2005.278 db/conf/icde/icdew2005.html#KimuraSI05