M. Balaban and S. Jurk, “Effect preservation in transaction processing in rule triggering systems”, Acta Cybern, vol. 18, no. 4, pp. 733-776, Jan. 2008.