Updating logical databases. (1986)

by G M Kuper R Fagin, J D Ullman, M Y Vardi
Venue:In Advances in computing research,