Shibashis Guha Srinath Srinivasa Saikat Mukherjee Ranajoy Malakar LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime. 97-104 2006 conf/ideas/2006 IDEAS http://doi.ieeecomputersociety.org/10.1109/IDEAS.2006.29 db/conf/ideas/ideas2006.html#GuhaSMM06