Jürgen Dix Karl Schlechta Explaining Updates by Minimal Sums. 142-154 http://link.springer.de/link/service/series/0558/bibs/1738/17380142.htm 1999 conf/fsttcs/1999 FSTTCS db/conf/fsttcs/fsttcs99.html#DixS99