Ron Seljée, Harrie C. M. de Swart. Three types of redundancy in integrity checking: An optimal solution. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 188-191, 1998.
Abstract is missing.