Wolfgang Weber Wolffried Stucky Jakob Karszt Integrity checking in data base systems. 125-136 1983 8 Inf. Syst. 2 db/journals/is/is8.html#WeberSK83