Preservation of integrity constraints in definite DATALOG programs - Wang, K. (2014)
Information Processing Letters