Efficient consistency proofs for generalized queries on a committed database (2004)

by Rafail Ostrovsky, Charles Rackoff, Adam Smith
Venue:In Proc. Int. Colloquium on Automata, Languages and Programming (ICALP), volume 3142 of LNCS