Logical Specification of Bulk Updates and Sequential Updates.

Carl-Alexander Wichert Burkhard Freitag Logical Specification of Bulk Updates and Sequential Updates. 79-93 1996 conf/deductive/1996 DDLP db/conf/deductive/deductive96.html#WichertF96