Sang Ho LeeLawrence J. HenschenMyoung-Ho KimYoon-Joon LeeEnforcement of integrity constraints against transactions with transition axioms.162-1671992COMPSAChttps://doi.org/10.1109/CMPSAC.1992.217574conf/compsac/1992db/conf/compsac/compsac1992.html#LeeHKL92