On the semantics of updates in databases (1983)

by R Fagin, J D Ullman, M Y Vardi
Venue:In PODS