N. Karami and J. Iijima, “A Logical Approach for Implementing Dynamic Business Rules”, CMR, vol. 6, no. 1, May 2010.