A Common Framework for Classifying and Specifying Deductive Database Updating Problems.

Ernest Teniente Toni Urpí A Common Framework for Classifying and Specifying Deductive Database Updating Problems. 135-158 1994 DAISD db/conf/daisd/daisd94.html#TenienteU94