Incremental Validation of Policy-Based Systems. - Angus Graham; Thiruvengadam Radhakrishnan; Clifford Grossner (POLICY, 2004)