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.
@inproceedings{SeljeeS98, title = {Three types of redundancy in integrity checking: An optimal solution}, author = {Ron Seljée and Harrie C. M. de Swart}, year = {1998}, tags = {redundancy, C++, type checking}, researchr = {https://researchr.org/publication/SeljeeS98}, cites = {0}, citedby = {0}, pages = {188-191}, booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998}, editor = {Ewa Orlowska and Andrzej Szalas}, }