Updating logical databases (1986)

by Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
Venue:Advances in Computing Research