Return to Article Details Donkey disjunctions and overlapping updates Download Download PDF