A Model Theoretic Approach to Update Rule Programs.

Nicole Bidoit, Sofian Maabout

Browse the full ICDT paper archive.